NLIPSat: Satisfiability-Based Nonlinear Integer Programming Encoding Toolkit (Tool Paper).

Zhengling Yangli, Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu-Min Li

Browse the full SAT paper archive.