Mohamed Sami Cherif

14 papers A* 1A 4B 4Journal 3Unranked 1
YearRankTypeTitle / Venue / Authors
2023 A* conf
Proofs and Certificates for Max-SAT (Extended Abstract).
IJCAI
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
2023 J jnl
Reasoning and inference for (Maximum) satisfiability: new insights.
Constraints An Int. J.
Mohamed Sami Cherif
2022 A conf
From Crossing-Free Resolution to Max-SAT Resolution.
CP
Mohamed Sami Cherif, Djamal Habet, Matthieu Py
2022 J jnl
Proofs and Certificates for Max-SAT.
J. Artif. Intell. Res.
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
2022 — —
Reasoning and Inference for (Maximum) Satisfiability: New Insights. (Raisonnement et Inférence pour la satisfiabilité (Maximum)).
Mohamed Sami Cherif
2021 A conf
A Proof Builder for Max-SAT.
SAT
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
2021 A conf
Combining VSIDS and CHB Using Restarts in SAT.
CP
Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux
2021 B conf
Computing Max-SAT Refutations using SAT Oracles.
ICTAI
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
2021 B conf
Inferring Clauses and Formulas in Max-SAT.
ICTAI
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
2020 B conf
On the Refinement of Conflict History Search Through Multi-Armed Bandit.
ICTAI
Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux
2020 B conf
Towards Bridging the Gap Between SAT and Max-SAT Refutations.
ICTAI
Matthieu Py, Mohamed Sami Cherif, Djamal Habet
2020 J jnl
Understanding the power of Max-SAT resolution through UP-resilience.
Artif. Intell.
Mohamed Sami Cherif, Djamal Habet, André Abramé
2019 A conf
Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience.
CP
Mohamed Sami Cherif, Djamal Habet
2018 — conf
Formalising Executable Specifications of Low-Level Systems.
VSTTE
Paolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif