Sami CHERIF

Maître de Conférences

Equipe Graphes, Optimisation et Contraintes - GOC
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
https://hal.science/hal-04699557/file/LIPIcs.CP.2024.34.pdf 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
https://hal.science/hal-04701880/file/01x02%20%281%29.pdf 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
https://hal.science/hal-04701887/file/04x02.pdf 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
https://hal.science/hal-04701879/file/04x03.pdf 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
https://hal.science/hal-04684888/file/SALB3PM_JFPC2024.pdf 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
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
https://hal.science/hal-04318066/file/IJCAI_2023___Proof_And_Certificates_for_Max_SAT__Extended_Abstract_.pdf 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
https://hal.science/hal-04318075/file/IJCAI_2023___Proof_And_Certificates_for_Max_SAT__Extended_Abstract_Poster.pdf 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
https://amu.hal.science/hal-03977496/file/13811wPg%23s.pdf 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
https://amu.hal.science/hal-03979371/file/LIPIcs-CP-2022-12.pdf 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
https://amu.hal.science/hal-03737733/file/JFPC_2022___Explication_de_clauses_et_de_formules_dans_Max_SAT.pdf 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
https://amu.hal.science/hal-03714732/file/JFPC_2022___Crossing_free_resolution___final%20%285%29.pdf 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
https://amu.hal.science/hal-03737731/file/JFPC_2022___Max_refutations_et_oracles_SAT.pdf 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
https://amu.hal.science/hal-03737729/file/JFPC_2022___Certificats_d_optimalite_pour_Max_SAT.pdf 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
https://theses.hal.science/tel-04088137/file/these_CHERIF.pdf 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
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
https://amu.hal.science/hal-03737738/file/ICTAI_2021___Computing_Max_SAT_Refutations_using_SAT_Oracles.pdf 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
https://amu.hal.science/hal-03737741/file/ICTAI_2021___Inferring_clauses_and_formulas_in_Max_SAT.pdf 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
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
https://amu.hal.science/hal-03402696/file/LIPIcs-CP-2021-20.pdf 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
https://amu.hal.science/hal-03270911/file/jfpc2021c.pdf 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
https://amu.hal.science/hal-03270931/file/jfpc2021d.pdf 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
https://hal.science/hal-03343022/file/SAT_2021___A_Proof_Builder_for_Max_SAT.pdf 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
https://hal.science/hal-03343027/file/JFPC_2021___Adapter_une_refutation_SAT_en_une_refutation_Max_SAT.pdf 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
https://amu.hal.science/hal-03334479/file/IJCAI_2020___JOURNAL_TRACK___POSTER%20%288%29.pdf 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
https://amu.hal.science/hal-02977156/file/S0004370220301478.pdf 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
https://amu.hal.science/hal-03134416/file/ICTAI_2020___Towards_Bridging_the_Gap_Between_SAT_and_Max_SAT_Refutations.pdf 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
https://amu.hal.science/hal-03132228/file/mab.pdf 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
https://amu.hal.science/hal-02295154/file/paper.pdf 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
https://amu.hal.science/hal-02295161/file/ArticleJFPC2019.pdf BibTex

UPJV