Page de Sami CHERIF

2024

Communication dans un congrès

auteur

Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, Laure Brisoux-Devendeville

titre

Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability

article

30th International Conference on Principles and Practice of Constraint Programming (CP 2024), Sep 2024, Girona, Spain. ⟨10.4230/LIPIcs.CP.2024.34⟩

identifiant

hal-04699557

Accès au texte intégral et bibtex

auteur

Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, Laure Brisoux-Devendeville

titre

Planification des sessions parallèles de la conférence ROADEF via la satisfiabilité maximum

article

Journées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France

identifiant

hal-04701879

Accès au texte intégral et bibtex

auteur

Thomas Bazaille, Chumin Li, Corinne Lucet, Laure Brisoux Devendeville, Sami Cherif

titre

Approche portfolio pour le problème des p-centres

article

Journées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France

identifiant

hal-04701887

Accès au texte intégral et bibtex

auteur

Zhifei Zheng, Sami Cherif, Rui Sá Shibasaki

titre

Minimisation des pics d'énergie dans l'équilibrage des lignes d'assemblage par la Satisfiabilité Maximum

article

Actes JFPC 2024, Jun 2024, Lens, France

identifiant

hal-04684888

Accès au texte intégral et bibtex

auteur

Anthony Blomme, Sami Cherif, Sorina Ionica, Gilles Dequen

titre

Recherche arborescente et apprentissage pour les problèmes cryptographiques

article

Journées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France

identifiant

hal-04701880

Accès au texte intégral et bibtex

2023

Article dans une revue

auteur

Mohamed Sami Cherif

titre

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

article

Constraints, 2023, 28 (3), pp.513-514. ⟨10.1007/s10601-023-09365-0⟩

identifiant

hal-04323221

Accès au bibtex

Communication dans un congrès

auteur

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

titre

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

article

International Joint Conference on Artificial Intelligence, Aug 2023, Macao, China. ⟨10.24963/ijcai.2023/787⟩

identifiant

hal-04318066

Accès au texte intégral et bibtex

Poster de conférence

auteur

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

titre

Proofs and Certificates for Max-SAT

article

International Joint Conferences on Artificial Intelligence, Aug 2023, Macao, China

identifiant

hal-04318075

Accès au texte intégral et bibtex

2022

Article dans une revue

auteur

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

titre

Proofs and Certificates for Max-SAT

article

Journal of Artificial Intelligence Research, 2022, 75, pp.1373-1400. ⟨10.1613/jair.1.13811⟩

identifiant

hal-03977496

Accès au texte intégral et bibtex

Communication dans un congrès

auteur

Mohamed Sami Cherif, Djamal Habet, Matthieu Py

titre

From Crossing-Free Resolution to Max-SAT Resolution

article

28th International Conference on Principles and Practice of Constraint Programming (CP 2022), Jul 2022, Haifa, Israel. ⟨10.4230/LIPIcs.CP.2022.12⟩

identifiant

hal-03979371

Accès au texte intégral et bibtex

auteur

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

titre

Explication de clauses et de formules dans Max-SAT

article

JFPC 2022, Jun 2022, Saint-Etienne, France

identifiant

hal-03737733

Accès au texte intégral et bibtex

auteur

Mohamed Sami Cherif, Djamal Habet, Matthieu Py

titre

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

article

Journées Francophones de Programmation par Contraintes (JFPC), Jun 2022, Saint-Étienne, France

identifiant

hal-03714732

Accès au texte intégral et bibtex

auteur

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

titre

Certificats d'optimalité pour Max-SAT

article

JFPC 2022, Jun 2022, Saint-Etienne, France

identifiant

hal-03737729

Accès au texte intégral et bibtex

auteur

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

titre

Max-réfutations et oracles SAT

article

JFPC 2022, Jun 2022, Saint-Etienne, France

identifiant

hal-03737731

Accès au texte intégral et bibtex

Thèse

auteur

Mohamed Sami Cherif

titre

Raisonnement et Inférence pour la satisfiabilité (Maximum)

article

Computer Science [cs]. Aix-Marseille University, 2022. English. ⟨NNT : 2022AIXM0589⟩

identifiant

tel-04088137

Accès au texte intégral et bibtex

2021

Communication dans un congrès

auteur

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

titre

Computing Max-SAT Refutations using SAT Oracles

article

International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Visioconférence, France. ⟨10.1109/ICTAI52525.2021.00066⟩

identifiant

hal-03737738

Accès au texte intégral et bibtex

auteur

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

titre

Explication de clauses et de formules dans Max-SAT

article

The 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Vidéoconférence, France. ⟨10.1109/ICTAI52525.2021.00101⟩

identifiant

hal-03737741

Accès au texte intégral et bibtex

auteur

Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux

titre

Combining VSIDS and CHB Using Restarts in SAT

article

27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier, France. ⟨10.4230/LIPIcs.CP.2021.20⟩

identifiant

hal-03402696

Accès au texte intégral et bibtex

auteur

Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux

titre

Raffiner l'heuristique CHS à l'aide de bandits

article

Actes des 16èmes Journées Francophones de Programmation par Contraintes (JFPC), Jun 2021, Nice, France

identifiant

hal-03270911

Accès au texte intégral et bibtex

auteur

Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux

titre

Un bandit manchot pour combiner CHB et VSIDS

article

Actes des 16èmes Journées Francophones de Programmation par Contraintes (JFPC), Jun 2021, Nice, France

identifiant

hal-03270931

Accès au texte intégral et bibtex

auteur

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

titre

A Proof Builder for Max-SAT

article

24th International Conference on Theory and Applications of Satisfiability Testing (SAT 2021), 2021, Barcelone, Spain. ⟨10.1007/978-3-030-80223-3_33⟩

identifiant

hal-03343022

Accès au texte intégral et bibtex

auteur

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

titre

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

article

Journées Francophones de Programmation par Contraintes (JFPC 2021), 2021, Conférence virtuelle, France

identifiant

hal-03343027

Accès au texte intégral et bibtex

Poster de conférence

auteur

Mohamed Sami Cherif, Djamal Habet, André Abrame

titre

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

article

Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21), Aug 2021, Montreal-themed Virtual Reality, Canada

identifiant

hal-03334479

Accès au texte intégral et bibtex

2020

Article dans une revue

auteur

Mohamed Sami Cherif, Djamal Habet, André Abramé

titre

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

article

Artificial Intelligence, 2020, 289, pp.103397. ⟨10.1016/j.artint.2020.103397⟩

identifiant

hal-02977156

Accès au texte intégral et bibtex

Communication dans un congrès

auteur

Matthieu Py, Mohamed Sami Cherif, Djamal Habet

titre

Towards Bridging the Gap Between SAT and Max-SAT Refutations

article

32th International Conference on Tools with Artificial Intelligence, Nov 2020, Baltimore, United States

identifiant

hal-03134416

Accès au texte intégral et bibtex

auteur

Mohamed Sami Cherif, Djamal Habet, Cyril Terrioux

titre

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

article

IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2020, Baltimore, United States. pp.264-271, ⟨10.1109/ICTAI50040.2020.00050⟩

identifiant

hal-03132228

Accès au texte intégral et bibtex

2019

Communication dans un congrès

auteur

Mohamed Sami Cherif, Djamal Habet

titre

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

article

The 25th International Conference on Principles and Practice of Constraint Programming (CP 2019), pp. 91-107, Sep 2019, Stamford, United States

identifiant

hal-02295154

Accès au texte intégral et bibtex

auteur

Mohamed Sami Cherif, Djamal Habet

titre

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

article

Actes des 15èmes Journées Francophones de Programmation par Contraintes (JFPC), pp. 177-180, Jun 2019, Albi, France

identifiant

hal-02295161

Accès au texte intégral et bibtex