Sami CHERIF

45
Documents

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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-05208095v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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