Mohamed Sami Cherif

According to our database, Mohamed Sami Cherif authored at least 14 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Reasoning and inference for (Maximum) satisfiability: new insights.

Mohamed Sami Cherif

Constraints An Int. J., September, 2023

Proofs and Certificates for Max-SAT (Extended Abstract).

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Reasoning and Inference for (Maximum) Satisfiability: New Insights. (Raisonnement et Inférence pour la satisfiabilité (Maximum)).

Mohamed Sami Cherif

PhD thesis, 2022

Proofs and Certificates for Max-SAT.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

J. Artif. Intell. Res., 2022

From Crossing-Free Resolution to Max-SAT Resolution.

Mohamed Sami Cherif, Djamal Habet, Matthieu Py

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2021

A Proof Builder for Max-SAT.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Inferring Clauses and Formulas in Max-SAT.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Computing Max-SAT Refutations using SAT Oracles.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Combining VSIDS and CHB Using Restarts in SAT.

Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

Understanding the power of Max-SAT resolution through UP-resilience.

Mohamed Sami Cherif, Djamal Habet, André Abramé

Artif. Intell., 2020

Towards Bridging the Gap Between SAT and Max-SAT Refutations.

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

On the Refinement of Conflict History Search Through Multi-Armed Bandit.

Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

2019

Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience.

Mohamed Sami Cherif, Djamal Habet

Proceedings of the Principles and Practice of Constraint Programming, 2019

2018

Formalising Executable Specifications of Low-Level Systems.

Paolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018