Computing Max-SAT Refutations using SAT Oracles.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Browse the full ICTAI paper archive.