Towards Bridging the Gap Between SAT and Max-SAT Refutations.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Browse the full ICTAI paper archive.