Maximum satisfiability formulations for nonlinear integer programming

DOI10.1007/978-3-032-04590-4_14MaRDI QIDQ6884711zbMATH OpenFDO

Authors Zhifei Zheng, Sami Cherif, Rui Sá Shibasaki, Chu-Min Li, Jialu Zhang

Publication date 15 December 2025

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

This page was built for publication: Maximum satisfiability formulations for nonlinear integer programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6884711)