Sami CHERIF

Publications

Article dans une revue (3)

Reasoning and inference for (Maximum) satisfiability: new insights (abstract) Mohamed Sami Cherif Constraints, 2023, 28 (3), pp.513-514. ⟨10.1007/s10601-023-09365-0⟩ Article dans une revue hal-04323221v1
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⟩ Article dans une revue hal-03977496v1
Understanding the power of Max-SAT resolution through UP-resilience Mohamed Sami Cherif,Djamal Habet,André Abramé Artificial Intelligence (AIJ), 2020, 289, pp.103397. ⟨10.1016/j.artint.2020.103397⟩ Article dans une revue hal-02977156v1

Communication dans un congrès (39)

Approche matheuristique pour la location de centres de soins et leurs services avec contraintes de capacité et gestion de pannes Antonin Carpentier,Laure Brisoux Devendeville,Corinne Lucet,Rui Sa Shibasaki,Sami Cherif ROADEF 2026, Université de Tours [UT], Feb 2026, Tours, France Communication dans un congrès hal-05534984v1
Maximum Satisfiability Formulations for Nonlinear Integer Programming Zhifei Zheng,Sami Cherif,Rui Sá Shibasaki,Chu-Min Li,Jialu Zhang JELIA:European Conference on Logics in Artificial Intelligence, Sep 2025, Kutaisi, Georgia, France. pp.190-206, ⟨10.1007/978-3-032-04590-4_14⟩ Communication dans un congrès hal-05305189v1
Exact Approaches for the Diverse Satisfiability Problem Zhifei Zheng,Sami Cherif,Rui Sá Shibasaki,Chu-Min Li,Jialu Zhang JELIA:European Conference on Logics in Artificial Intelligence, Sep 2025, Kutaisi, Georgia, France. pp.207-224, ⟨10.1007/978-3-032-04590-4_15⟩ Communication dans un congrès hal-05305175v1
Analyse de l'autostabilisation de l'unisson synchrone via la satisfiabilité propositionnelle Asma Khoualdia,Sami Cherif,Stéphane Devismes,Léo Robert Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France Communication dans un congrès hal-05208079v1
Formulations MaxSAT pour la programmation non linéaire en nombres entiers Zhifei Zheng,Sami Cherif,Rui Sá Shibasaki,Chu-Min Li,Jialu Zhang Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France Communication dans un congrès hal-05208053v1
Prétraitement PLNE pour la simplification des instances MaxSAT Jialu Zhang,Chu-Min Li,Sami Cherif,Shuolin Li,Zhifei Zheng Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France Communication dans un congrès hal-05208085v1
Exact Approaches for the Diverse Satisfiability Problem Zhifei Zheng,Sami Cherif,Rui Sá Shibasaki,Chu-Min Li,Jialu Zhang European Conference on Logics in Artificial Intelligence (JELIA 2025), Sep 2025, Kutaisi, France Communication dans un congrès hal-05268883v1
ANF-Based Satisfiability for Weil-Descent Cryptographic Attacks Anthony Blomme,Sami Cherif,Sorina Ionica,Gilles Dequen 11th-2025 International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2025, Split - Croatia, Croatia. pp.906-911, ⟨10.1109/CoDIT66093.2025.11321693⟩ Communication dans un congrès hal-05176414v1
Problème du p-centre avec contraintes de capacité, stratification et gestion des pannes Antonin Carpentier,Laure Brisoux-Devendeville,Corinne Lucet,Rui Sá Shibasaki,Sami Cherif ROADEF 2025, Feb 2025, Paris, France Communication dans un congrès hal-05001302v1
Maximum Satisfiability Formulations for Nonlinear Integer Programming Zhifei Zheng,Sami Cherif,Rui Sá Shibasaki,Chu-Min Li,Jialu Zhang European Conference on Logics in Artificial Intelligence (JELIA 2025), Sep 2025, Kutaisi, Georgia Communication dans un congrès hal-05268901v1
Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability Asma Khoualdia,Sami Cherif,Stéphane Devismes,Léo Robert 31st International Conference on Principles and Practice of Constraint Programming (CP 2025), Aug 2025, Glasgow, United Kingdom. pp.19:1--19:21, ⟨10.4230/LIPIcs.CP.2025.19⟩ Communication dans un congrès hal-05203873v1
Satisfiabilité pour le décodage par syndrome Carl Berton,Sami Cherif,Claire Delaplace Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France Communication dans un congrès hal-05208088v1
Approche heuristique pour l'équilibrage de lignes d'assemblage avec minimisation du pic de consommation énergétique Thiago G. Araujo,Zhifei Zheng,Matthieu Py,Sami Cherif,Rui Sá Shibasakiet al. Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France Communication dans un congrès hal-05208095v1
Stratified p-Center Problem with Capacity Constraints and Failure Foresight Antonin Carpentier,Laure Brisoux-Devendeville,Corinne Lucet,Rui Sá Shibasaki,Sami Cherif 11th International Conference on Control, Decision and Information Technologies (CODiT), Jul 2025, Split, Croatia Communication dans un congrès hal-05329643v1
Approches exactes pour le problème de satisfiabilité diversifiée Zhifei Zheng,Sami Cherif,Rui Sá Shibasaki,Chu-Min Li Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France Communication dans un congrès hal-05208068v1
Planification des sessions parallèles de la conférence ROADEF via la satisfiabilité maximum Sami Cherif,Heythem Sattoutah,Chu-Min Li,Corinne Lucet,Laure Brisoux-Devendeville Journées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France Communication dans un congrès hal-04701879v1
Approche portfolio pour le problème des p-centres Thomas Bazaille,Chumin Li,Corinne Lucet,Laure Brisoux Devendeville,Sami Cherif Journées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France Communication dans un congrès hal-04701887v1
Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability Sami Cherif,Heythem Sattoutah,Chu-Min Li,Corinne Lucet,Laure Brisoux-Devendeville 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), Sep 2024, Girona, Spain. ⟨10.4230/LIPIcs.CP.2024.34⟩ Communication dans un congrès hal-04699557v1
Optimizing Power Peaks in Simple Assembly Line Balancing Through Maximum Satisfiability Zhifei Zheng,Sami Cherif,Rui Sá Shibasaki 2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI), Oct 2024, Herndon, United States. pp.363-370, ⟨10.1109/ICTAI62512.2024.00060⟩ Communication dans un congrès hal-05017791v1
Minimisation des pics d'énergie dans l'équilibrage des lignes d'assemblage par la Satisfiabilité Maximum Zhifei Zheng,Sami Cherif,Rui Sá Shibasaki Actes JFPC 2024, Jun 2024, Lens, France Communication dans un congrès hal-04684888v1
Recherche arborescente et apprentissage pour les problèmes cryptographiques Anthony Blomme,Sami Cherif,Sorina Ionica,Gilles Dequen Journées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France Communication dans un congrès hal-04701880v1
Proofs and Certificates for Max-SAT (Extended Abstract) * Matthieu Py,Mohamed Sami Cherif,Djamal Habet International Joint Conference on Artificial Intelligence, Aug 2023, Macao, China. ⟨10.24963/ijcai.2023/787⟩ Communication dans un congrès hal-04318066v1
Explication de clauses et de formules dans Max-SAT Matthieu Py,Mohamed Sami Cherif,Djamal Habet JFPC 2022, Jun 2022, Saint-Etienne, France Communication dans un congrès hal-03737733v1
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⟩ Communication dans un congrès hal-03979371v1
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 Communication dans un congrès hal-03714732v1
Max-réfutations et oracles SAT Matthieu Py,Mohamed Sami Cherif,Djamal Habet JFPC 2022, Jun 2022, Saint-Etienne, France Communication dans un congrès hal-03737731v1
Certificats d'optimalité pour Max-SAT Matthieu Py,Mohamed Sami Cherif,Djamal Habet JFPC 2022, Jun 2022, Saint-Etienne, France Communication dans un congrès hal-03737729v1
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⟩ Communication dans un congrès hal-03343022v1
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 Communication dans un congrès hal-03270911v1
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. ⟨10.1109/ICTAI52525.2021.00066⟩ Communication dans un congrès hal-03737738v1
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 Communication dans un congrès hal-03270931v1
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⟩ Communication dans un congrès hal-03402696v1
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 Communication dans un congrès hal-03343027v1
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. ⟨10.1109/ICTAI52525.2021.00101⟩ Communication dans un congrès hal-03737741v1
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 Communication dans un congrès hal-03134416v2
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⟩ Communication dans un congrès hal-03132228v1
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 Communication dans un congrès hal-02295161v1
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 Communication dans un congrès hal-02295154v1
Formalising Executable Specifications of Low-Level Systems Paolo Torrini,David Nowak,Narjes Jomaa,Mohamed Sami Cherif 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2018), Jul 2018, Oxford, United Kingdom. ⟨10.1007/978-3-030-03592-1_9⟩ Communication dans un congrès hal-01829374v2

Poster de conférence (2)

Proofs and Certificates for Max-SAT Matthieu Py,Mohamed Sami Cherif,Djamal Habet International Joint Conferences on Artificial Intelligence, Aug 2023, Macao, China Poster de conférence hal-04318075v1
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 Poster de conférence hal-03334479v1

Thèse (1)

Reasoning and Inference for (Maximum) Satisfiability: New Insights Mohamed Sami Cherif Computer Science [cs]. Aix-Marseille University, 2022. English. ⟨NNT : 2022AIXM0589⟩ Thèse tel-04088137v1