Matthieu Py, Mohamed Sami Cherif, Djamal Habet. Inferring Clauses and Formulas in Max-SAT.
2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Washington, United States. pp.632-639,
⟨10.1109/ICTAI52525.2021.00101⟩.
⟨hal-03594994⟩