Sami CHERIF
41
Documents
Publications
Publications
Reasoning and inference for (Maximum) satisfiability: new insights (abstract)Constraints, 2023, 28 (3), pp.513-514. ⟨10.1007/s10601-023-09365-0⟩
Article dans une revue
hal-04323221
v1
|
|
|
|
Proofs and Certificates for Max-SATJournal of Artificial Intelligence Research, 2022, 75, pp.1373-1400. ⟨10.1613/jair.1.13811⟩
Article dans une revue
hal-03977496
v1
|
|
|
Understanding the power of Max-SAT resolution through UP-resilienceArtificial Intelligence, 2020, 289, pp.103397. ⟨10.1016/j.artint.2020.103397⟩
Article dans une revue
hal-02977156
v1
|
|
|
Analyse de l'autostabilisation de l'unisson synchrone via la satisfiabilité propositionnelleJournées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
Communication dans un congrès
hal-05208079
v1
|
|
|
Formulations MaxSAT pour la programmation non linéaire en nombres entiersJournées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
Communication dans un congrès
hal-05208053
v1
|
|
|
ANF-Based Satisfiability for Weil-Descent Cryptographic Attacks11th-2025 International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2025, Split - Croatia, Croatia
Communication dans un congrès
hal-05176414
v1
|
|
|
Exact Approaches for the Diverse Satisfiability ProblemEuropean Conference on Logics in Artificial Intelligence (JELIA 2025), Sep 2025, Kutaisi, France
Communication dans un congrès
hal-05268883
v1
|
|
|
Prétraitement PLNE pour la simplification des instances MaxSATJourné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 Satisfiability31st 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
|
|
|
|
Problème du p-centre avec contraintes de capacité, stratification et gestion des pannesROADEF 2025, Feb 2025, Paris, France
Communication dans un congrès
hal-05001302
v1
|
|
|
Maximum Satisfiability Formulations for Nonlinear Integer ProgrammingEuropean Conference on Logics in Artificial Intelligence (JELIA 2025), Sep 2025, Kutaisi, Georgia
Communication dans un congrès
hal-05268901
v1
|
|
|
Satisfiabilité pour le décodage par syndromeJournées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
Communication dans un congrès
hal-05208088
v1
|
|
|
Approche heuristique pour l'équilibrage de lignes d'assemblage avec minimisation du pic de consommation énergétiqueJournées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
Communication dans un congrès
hal-05208095
v1
|
|
|
Approches exactes pour le problème de satisfiabilité diversifiéeJournées Francophones de Programmation par Contraintes (JFPC 2025), Jun 2025, Dijon, France
Communication dans un congrès
hal-05208068
v1
|
|
|
Planification des sessions parallèles de la conférence ROADEF via la satisfiabilité maximumJournées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France
Communication dans un congrès
hal-04701879
v1
|
|
|
Optimizing Power Peaks in Simple Assembly Line Balancing Through Maximum Satisfiability2024 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
|
|
|
Approche portfolio pour le problème des p-centresJournées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France
Communication dans un congrès
hal-04701887
v1
|
|
|
Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability30th 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
|
|
|
Minimisation des pics d'énergie dans l'équilibrage des lignes d'assemblage par la Satisfiabilité MaximumActes JFPC 2024, Jun 2024, Lens, France
Communication dans un congrès
hal-04684888
v1
|
|
|
Recherche arborescente et apprentissage pour les problèmes cryptographiquesJournées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France
Communication dans un congrès
hal-04701880
v1
|
|
|
Proofs and Certificates for Max-SAT (Extended Abstract) *International Joint Conference on Artificial Intelligence, Aug 2023, Macao, China. ⟨10.24963/ijcai.2023/787⟩
Communication dans un congrès
hal-04318066
v1
|
|
|
Explication de clauses et de formules dans Max-SATJFPC 2022, Jun 2022, Saint-Etienne, France
Communication dans un congrès
hal-03737733
v1
|
|
|
From Crossing-Free Resolution to Max-SAT Resolution28th 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
|
|
|
De la résolution à la max-résolutionJournées Francophones de Programmation par Contraintes (JFPC), Jun 2022, Saint-Étienne, France
Communication dans un congrès
hal-03714732
v1
|
|
|
Certificats d'optimalité pour Max-SATJFPC 2022, Jun 2022, Saint-Etienne, France
Communication dans un congrès
hal-03737729
v1
|
|
|
Max-réfutations et oracles SATJFPC 2022, Jun 2022, Saint-Etienne, France
Communication dans un congrès
hal-03737731
v1
|
|
|
Raffiner l'heuristique CHS à l'aide de banditsActes des 16èmes Journées Francophones de Programmation par Contraintes (JFPC), Jun 2021, Nice, France
Communication dans un congrès
hal-03270911
v1
|
|
|
A Proof Builder for Max-SAT24th 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
|
|
|
Un bandit manchot pour combiner CHB et VSIDSActes des 16èmes Journées Francophones de Programmation par Contraintes (JFPC), Jun 2021, Nice, France
Communication dans un congrès
hal-03270931
v1
|
|
|
Computing Max-SAT Refutations using SAT OraclesInternational 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
|
|
|
Combining VSIDS and CHB Using Restarts in SAT27th 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
|
|
|
Des réfutations SAT aux réfutations Max-SAT *Journées Francophones de Programmation par Contraintes (JFPC 2021), 2021, Conférence virtuelle, France
Communication dans un congrès
hal-03343027
v1
|
|
|
Inferring Clauses and Formulas in Max-SATThe 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
|
|
|
Towards Bridging the Gap Between SAT and Max-SAT Refutations32th International Conference on Tools with Artificial Intelligence, Nov 2020, Baltimore, United States
Communication dans un congrès
hal-03134416
v2
|
|
|
On the Refinement of Conflict History Search Through Multi-Armed BanditIEEE 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
|
|
|
Towards the Characterization of Max-Resolution Transformations of UCSs by UP-ResilienceThe 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
|
|
|
Sur l'UP-résilience des k-UCSs binairesActes 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
|
|
|
Formalising Executable Specifications of Low-Level Systems10th 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
|
|
|
Proofs and Certificates for Max-SATInternational Joint Conferences on Artificial Intelligence, Aug 2023, Macao, China
Poster de conférence
hal-04318075
v1
|
|
|
Understanding the power of Max-SAT resolution through UP-resilienceThirtieth International Joint Conference on Artificial Intelligence (IJCAI-21), Aug 2021, Montreal-themed Virtual Reality, Canada
Poster de conférence
hal-03334479
v1
|
|
|
Reasoning and Inference for (Maximum) Satisfiability: New InsightsComputer Science [cs]. Aix-Marseille University, 2022. English. ⟨NNT : 2022AIXM0589⟩
Thèse
tel-04088137
v1
|
Chargement...
Chargement...