Maximum Satisfiability Formulations for Nonlinear Integer Programming.

Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu Min Li, Jialu Zhang

Browse the full JELIA paper archive.