论文发表

已发表论文与已录用成果，分别标明状态。

已发表论文

2026

SAT 2026

NLIPSat: Satisfiability-Based Nonlinear Integer Programming Encoding Toolkit

Zhengling Yangli, Zhifei Zheng, Sami Cherif, and 2 more authors

In 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026), 2026

Abs DOI HTML PDF Code

NLIPSat is the first open-source tool for encoding bounded polynomial nonlinear integer programming instances directly into MaxSAT. It supports polynomial objectives and hard nonlinear constraints, exports standard WCNF, and substantially outperforms Z3 on the reported benchmarks.

已录用，待正式出版

Learning Instance-Specific Reduction Policies for the Minimum Hitting Set Problem

PRICAI 2026，regular paper，2026 年 8 月录用。正式出版信息和完整引用随后补充。

其他探索与阶段性工作见项目页面。