Matthieu Py, Mohamed Sami Cherif, Djamal Habet: A Proof Builder for Max-SAT. SAT 2021: 488-498