| 2026 | CP | Satisfiability for Large Weight Syndrome Decoding. | Carl Berton, Sami Cherif, Claire Delaplace |
| 2026 | CP | On the Self-Stabilization of Dijkstra's Asynchronous Token Circulation. | Asma Khoualdia, Sami Cherif, Stphane Devismes, Lo Robert |
| 2026 | CP | Not All Restarts Are Equal: MAB-Learning at the Right Time Scale for SAT. | Jinghu Liang, Sami Cherif, Chu-Min Li |
| 2026 | CP | Enhanced Lower Bound Computation in Branch-and-Bound for MaxSAT. | Jialu Zhang, Chu-Min Li, Sami Cherif, Shuolin Li |
| 2026 | FM | SAT-Based Syndrome Decoding and Low-Weight Codewords. | Carl Berton, Sami Cherif, Claire Delaplace |
| 2026 | SAT | NLIPSat: Satisfiability-Based Nonlinear Integer Programming Encoding Toolkit (Tool Paper). | Zhengling Yangli, Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu-Min Li |
| 2025 | CoDIT | ANF-Based Satisfiability for Weil-Descent Cryptographic Attacks. | Anthony Blomme, Sami Cherif, Sorina Ionica, Gilles Dequen |
| 2025 | CoDIT | Stratified p-Center Problem with Capacity Constraints and Failure Foresight. | Antonin Carpentier, Laure Brisoux Devendeville, Corinne Lucet, Rui Sa Shibasaki, Sami Cherif |
| 2025 | CP | Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability. | Asma Khoualdia, Sami Cherif, Stphane Devismes, Lo Robert |
| 2025 | ICTAI | Integer Linear Programming Preprocessing for Maximum Satisfiability. | Jialu Zhang, Chu Min Li, Sami Cherif, Shuolin Li, Zhifei Zheng |
| 2025 | JELIA | Maximum Satisfiability Formulations for Nonlinear Integer Programming. | Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu Min Li, Jialu Zhang |
| 2025 | JELIA | Exact Approaches for the Diverse Satisfiability Problem. | Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu Min Li, Jialu Zhang |
| 2024 | CP | Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper). | Sami Cherif, Heythem Sattoutah, Chu-Min Li, Corinne Lucet, Laure Brisoux Devendeville |
| 2024 | ICTAI | Optimizing Power Peaks in Simple Assembly Line Balancing Through Maximum Satisfiability. | Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki |