Integer Linear Programming Preprocessing for Maximum Satisfiability.

Jialu Zhang, Chu Min Li, Sami Cherif, Shuolin Li, Zhifei Zheng

Browse the full ICTAI paper archive.