Proofs and Certificates for Max-SAT (Extended Abstract).

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Browse the full IJCAI paper archive.