Mohamed Sami Cherif

1 papers · 2023–2023 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐝 Cross-Pollinator (10)

Conferences

IJCAI (1)

Top co-authors

Djamal Habet (1) Matthieu Py (1)

Keywords

sat solver (1) resolution refutation (1) equivalence-preserving transformation (1)

Papers

Proofs and Certificates for Max-SAT (Extended Abstract) IJCAI 2023