Matthieu Py, Mohamed Sami Cherif, Djamal Habet. Computing Max-SAT Refutations using SAT Oracles.
2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Washington, United States. pp.404-411,
⟨10.1109/ICTAI52525.2021.00066⟩.
⟨hal-03594992⟩