Get started
Author

Mohamed Sami Cherif

Understanding the power of Max-SAT resolution through UP-resilience
2020 · Mohamed Sami Cherif, Djamal Habet, et al. · Artificial Intelligence · 15
PDF
Towards Bridging the Gap Between SAT and Max-SAT Refutations
2020 · Matthieu Py, Mohamed Sami Cherif, et al. · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · 13
A Proof Builder for Max-SAT
2021 · Matthieu Py, Mohamed Sami Cherif, et al. · Lecture notes in computer science · 12
Proofs and Certificates for Max-SAT
2022 · Matthieu Py, Mohamed Sami Cherif, et al. · Journal of Artificial Intelligence Research · 9
PDF
Optimizing Power Peaks in Simple Assembly Line Balancing Through Maximum Satisfiability
2024 · Zhifei Zheng, Sami Cherif, et al. · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · 8
PDF
Combining VSIDS and CHB Using Restarts in SAT
2021 · Cherif, Mohamed Sami, Habet, Djamal, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 7
PDF
On the Refinement of Conflict History Search Through Multi-Armed Bandit
2020 · Mohamed Sami Cherif, Djamal Habet, et al. · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · 6
Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper)
2024 · Cherif, Sami, Sattoutah, Heythem, et al. · HAL · 5
PDF
Computing Max-SAT Refutations using SAT Oracles
2021 · Matthieu Py, Mohamed Sami Cherif, et al. · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · 5
Inferring Clauses and Formulas in Max-SAT
2021 · Matthieu Py, Mohamed Sami Cherif, et al. · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · 5
From Crossing-Free Resolution to Max-SAT Resolution
2022 · Cherif, Mohamed Sami, Habet, Djamal, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 4
PDF
Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience
2019 · Mohamed Sami Cherif, Djamal Habet · Lecture notes in computer science · 4
Exact Approaches for the Diverse Satisfiability Problem
2025 · Zhifei Zheng, Sami Cherif, et al. · Lecture notes in computer science · 2
Un bandit manchot pour combiner CHB et VSIDS
2021 · Sami Cherif, Mohamed, Habet, Djamal, et al. · HAL · 2
DA_kissat_MAB
2026 · Jinghu Liang, Sami Cherif, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 1
SAT_for_TOKEN
2026 · Asma Khoualdia, Sami Cherif, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 1
SAT-Based Syndrome Decoding and Low-Weight Codewords
2026 · Carl Berton, Sami Cherif, et al. · Lecture notes in computer science · 1
PDF
Integer Linear Programming Preprocessing for Maximum Satisfiability
2025 · Jialu Zhang, Chu-Min Li, et al. · IEEE International Conference on Tools with Artificial Intelligence (ICTAI) · 1
PDF
Maximum Satisfiability Formulations for Nonlinear Integer Programming
2025 · Zhifei Zheng, Sami Cherif, et al. · Lecture notes in computer science · 1
ANF-Based Satisfiability for Weil-Descent Cryptographic Attacks
2025 · Anthony Blomme, Sami Cherif, et al. · International Conference on Control, Decision and Information Technologies (CoDIT) · 1
Formalising Executable Specifications of Low-Level Systems
2018 · Paolo Torrini, David Nowak, et al. · Lecture notes in computer science · 1
Satisfiability Meets Self-Stabilization
2026 · Khoualdia, Asma, Cherif, Sami, et al. · HAL
Weight-Aware Branch-and-Bound for Weighted Maximum Satisfiability
2026 · Jialu Zhang, Chu-Min Li, et al. · International Joint Conference on Artificial Intelligence
PDF
Balancing power with logic: Exact satisfiability-based methods for energy-aware assembly lines
2026 · Zhifei Zheng, Sami Cherif, et al. · Computers & Operations Research
Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT
2026 · Zhang, Jialu, Li, Chu-Min, et al. · HAL
Works count: 69
Citation count: 106
H-index: 6
I10-index: 3
Year
Topic
Type