A Proof Builder for Max-SAT.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Browse the full SAT paper archive.