Inferring Clauses and Formulas in Max-SAT.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Browse the full ICTAI paper archive.