Search - Aix-Marseille Université Access content directly

Filter your results

22 Results
authFullName_s : Mohamed Sami Cherif
Image document

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

Mohamed Sami Cherif , Djamal Habet
The 25th International Conference on Principles and Practice of Constraint Programming (CP 2019), pp. 91-107, Sep 2019, Stamford, United States
Conference papers hal-02295154v1
Image document

Sur l'UP-résilience des k-UCSs binaires

Mohamed Sami Cherif , Djamal Habet
Actes des 15èmes Journées Francophones de Programmation par Contraintes (JFPC), pp. 177-180, Jun 2019, Albi, France
Conference papers hal-02295161v1
Image document

Towards Bridging the Gap Between SAT and Max-SAT Refutations

Matthieu Py , Mohamed Sami Cherif , Djamal Habet
32th International Conference on Tools with Artificial Intelligence, Nov 2020, Baltimore, United States
Conference papers hal-03134416v2
Image document

A Proof Builder for Max-SAT

Matthieu Py , Mohamed Sami Cherif , Djamal Habet
24th International Conference on Theory and Applications of Satisfiability Testing (SAT 2021), 2021, Barcelone, Spain. ⟨10.1007/978-3-030-80223-3_33⟩
Conference papers hal-03343022v1
Image document

From Crossing-Free Resolution to Max-SAT Resolution

Mohamed Sami Cherif , Djamal Habet , Matthieu Py
28th International Conference on Principles and Practice of Constraint Programming (CP 2022), Jul 2022, Haifa, Israel. ⟨10.4230/LIPIcs.CP.2022.12⟩
Conference papers hal-03979371v1
Image document

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

Mohamed Sami Cherif , Djamal Habet , André Abrame
Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21), Aug 2021, Montreal-themed Virtual Reality, Canada
Conference poster hal-03334479v1

Inferring Clauses and Formulas in Max-SAT

Matthieu Py , Mohamed Sami Cherif , Djamal Habet
2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Washington, United States. pp.632-639, ⟨10.1109/ICTAI52525.2021.00101⟩
Conference papers hal-03594994v1
Image document

Raffiner l'heuristique CHS à l'aide de bandits

Mohamed Sami Cherif , Djamal Habet , Cyril Terrioux
Actes des 16èmes Journées Francophones de Programmation par Contraintes (JFPC), Jun 2021, Nice, France
Conference papers hal-03270911v1
Image document

Explication de clauses et de formules dans Max-SAT

Matthieu Py , Mohamed Sami Cherif , Djamal Habet
JFPC 2022, Jun 2022, Saint-Etienne, France
Conference papers hal-03737733v1
Image document

Combining VSIDS and CHB Using Restarts in SAT

Mohamed Sami Cherif , Djamal Habet , Cyril Terrioux
27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier, France. ⟨10.4230/LIPIcs.CP.2021.20⟩
Conference papers hal-03402696v1
Image document

De la résolution à la max-résolution

Mohamed Sami Cherif , Djamal Habet , Matthieu Py
Journées Francophones de Programmation par Contraintes (JFPC), Jun 2022, Saint-Étienne, France
Conference papers hal-03714732v1
Image document

Proofs and Certificates for Max-SAT

Matthieu Py , Mohamed Sami Cherif , Djamal Habet
Journal of Artificial Intelligence Research, 2022, 75, pp.1373-1400. ⟨10.1613/jair.1.13811⟩
Journal articles hal-03977496v1
Image document

Computing Max-SAT Refutations using SAT Oracles

Matthieu Py , Mohamed Sami Cherif , Djamal Habet
International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Visioconférence, France
Conference papers hal-03737738v1
Image document

Des réfutations SAT aux réfutations Max-SAT *

Matthieu Py , Mohamed Sami Cherif , Djamal Habet
Journées Francophones de Programmation par Contraintes (JFPC 2021), 2021, Conférence virtuelle, France
Conference papers hal-03343027v1
Image document

Un bandit manchot pour combiner CHB et VSIDS

Mohamed Sami Cherif , Djamal Habet , Cyril Terrioux
Actes des 16èmes Journées Francophones de Programmation par Contraintes (JFPC), Jun 2021, Nice, France
Conference papers hal-03270931v1
Image document

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

Mohamed Sami Cherif , Djamal Habet , André Abramé
Artificial Intelligence, 2020, 289, pp.103397. ⟨10.1016/j.artint.2020.103397⟩
Journal articles hal-02977156v1
Image document

Certificats d'optimalité pour Max-SAT

Matthieu Py , Mohamed Sami Cherif , Djamal Habet
JFPC 2022, Jun 2022, Saint-Etienne, France
Conference papers hal-03737729v1
Image document

Max-réfutations et oracles SAT

Matthieu Py , Mohamed Sami Cherif , Djamal Habet
JFPC 2022, Jun 2022, Saint-Etienne, France
Conference papers hal-03737731v1
Image document

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

Mohamed Sami Cherif , Djamal Habet , Cyril Terrioux
IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2020, Baltimore, United States. pp.264-271, ⟨10.1109/ICTAI50040.2020.00050⟩
Conference papers hal-03132228v1
Image document

Inferring Clauses and Formulas in Max-SAT

Matthieu Py , Mohamed Sami Cherif , Djamal Habet
The 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Vidéoconférence, France
Conference papers hal-03737741v1
Image document

Reasoning and Inference for (Maximum) Satisfiability: New Insights

Mohamed Sami Cherif
Computer Science [cs]. Aix-Marseille University, 2022. English. ⟨NNT : 2022AIXM0589⟩
Theses tel-04088137v1

Computing Max-SAT Refutations using SAT Oracles

Matthieu Py , Mohamed Sami Cherif , Djamal Habet
2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Washington, United States. pp.404-411, ⟨10.1109/ICTAI52525.2021.00066⟩
Conference papers hal-03594992v1