Sami CHERIF
Maître de Conférences
Bureau 311
Téléphone : 59.08
Publications - Liste HAL (5 dernières années)
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
- 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
- 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
- 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
- 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
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
- 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
- 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
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
- Inferring Clauses and Formulas in Max-SAT
- article
- 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Washington, United States. pp.632-639, ⟨10.1109/ICTAI52525.2021.00101⟩
- identifiant
- hal-03594994
- Accès au bibtex
- 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
- 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
- identifiant
- hal-03737741
- Accès au texte intégral et bibtex
- auteur
- Matthieu Py, Mohamed Sami Cherif, Djamal Habet
- titre
- Computing Max-SAT Refutations using SAT Oracles
- article
- 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2021, Washington, United States. pp.404-411, ⟨10.1109/ICTAI52525.2021.00066⟩
- identifiant
- hal-03594992
- Accès au 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