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

Yangli, Zhengling; Zheng, Zhifei; Cherif, Mohamed Sami; Shibasaki, Rui Sá; Li, Chu-Min

doi:10.4230/lipics.sat.2026.43

Public

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

Published in DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) • Jan 1, 2026

NobleIDNI6P548W839R982S222

Authors:

Zhengling Yangli

,

Zhifei Zheng

,

Mohamed Sami Cherif

Abstract

While Maximum Satisfiability (MaxSAT) has been successfully applied to a wide range of combinatorial optimization problems, the encoding of Nonlinear Integer Programming (NLIP) with polynomial functions into MaxSAT has so far only been studied at a theoretical level. In this paper, we introduce NLIP...

Discussions