Mohamed Sami Cherif

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 13

Top Topics

Maximum Satisfiability

Branch And Bound

Top Venues

Publications

Mohamed Sami Cherif
Reasoning and inference for (Maximum) satisfiability: new insights. Constraints An Int. J. 28 (3) (2023)
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Proofs and Certificates for Max-SAT (Extended Abstract). IJCAI (2023)
Mohamed Sami Cherif, Djamal Habet, Matthieu Py
From Crossing-Free Resolution to Max-SAT Resolution. CP (2022)
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Proofs and Certificates for Max-SAT. J. Artif. Intell. Res. 75 (2022)
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Computing Max-SAT Refutations using SAT Oracles. ICTAI (2021)
Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux
Combining VSIDS and CHB Using Restarts in SAT. CP (2021)
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Inferring Clauses and Formulas in Max-SAT. ICTAI (2021)
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
A Proof Builder for Max-SAT. SAT (2021)
Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux
On the Refinement of Conflict History Search Through Multi-Armed Bandit. ICTAI (2020)
Mohamed Sami Cherif, Djamal Habet, André Abramé
Understanding the power of Max-SAT resolution through UP-resilience. Artif. Intell. 289 (2020)
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
Towards Bridging the Gap Between SAT and Max-SAT Refutations. ICTAI (2020)
Mohamed Sami Cherif, Djamal Habet
Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience. CP (2019)
Paolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif
Formalising Executable Specifications of Low-Level Systems. VSTTE (2018)