Cherif, Mohamed Sami

2 publications

IJCAI 2023 Proofs and Certificates for Max-SAT (Extended Abstract) Matthieu Py, Mohamed Sami Cherif, Djamal Habet
JAIR 2022 Proofs and Certificates for Max-SAT Matthieu Py, Mohamed Sami Cherif, Djamal Habet