Sami CHERIF

41
Documents

Publications

Publications

Image document

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-05208079 v1
Image document

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-05208053 v1
Image document

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
Communication dans un congrès hal-05176414 v1
Image document

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-05268883 v1
Image document

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-05208085 v1

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-05203873 v1
Image document

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-05001302 v1
Image document

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-05268901 v1
Image document

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-05208088 v1
Image document

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á Shibasaki et al.
Journées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
Communication dans un congrès hal-05208095 v1
Image document

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-05208068 v1
Image document

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-04701879 v1
Image document

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-05017791 v1
Image document

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-04701887 v1
Image document

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-04699557 v1
Image document

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-04684888 v1
Image document

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-04701880 v1
Image document

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-04318066 v1
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
Communication dans un congrès hal-03737733 v1
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⟩
Communication dans un congrès hal-03979371 v1
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
Communication dans un congrès hal-03714732 v1
Image document

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-03737729 v1
Image document

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-03737731 v1
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
Communication dans un congrès hal-03270911 v1
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⟩
Communication dans un congrès hal-03343022 v1
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
Communication dans un congrès hal-03270931 v1
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. ⟨10.1109/ICTAI52525.2021.00066⟩
Communication dans un congrès hal-03737738 v1
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⟩
Communication dans un congrès hal-03402696 v1
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
Communication dans un congrès hal-03343027 v1
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. ⟨10.1109/ICTAI52525.2021.00101⟩
Communication dans un congrès hal-03737741 v1
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
Communication dans un congrès hal-03134416 v2
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⟩
Communication dans un congrès hal-03132228 v1
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
Communication dans un congrès hal-02295154 v1
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
Communication dans un congrès hal-02295161 v1
Image document

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-01829374 v2
Image document

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-04318075 v1
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
Poster de conférence hal-03334479 v1