Formalising Executable Specifications of Low-Level Systems. - Paolo Torrini; David Nowak; Narjes Jomaa; Mohamed Sami Cherif (VSTTE, 2018)

Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience. - Mohamed Sami Cherif; Djamal Habet (CP, 2019)

On the Refinement of Conflict History Search Through Multi-Armed Bandit. - Mohamed Sami Cherif; Djamal Habet; Cyril Terrioux (ICTAI, 2020)

Towards Bridging the Gap Between SAT and Max-SAT Refutations. - Matthieu Py; Mohamed Sami Cherif; Djamal Habet (ICTAI, 2020)

Understanding the power of Max-SAT resolution through UP-resilience. - Mohamed Sami Cherif; Djamal Habet; André Abramé (Artif. Intell., 2020)

Combining VSIDS and CHB Using Restarts in SAT. - Mohamed Sami Cherif; Djamal Habet; Cyril Terrioux (CP, 2021)

Computing Max-SAT Refutations using SAT Oracles. - Matthieu Py; Mohamed Sami Cherif; Djamal Habet (ICTAI, 2021)

Inferring Clauses and Formulas in Max-SAT. - Matthieu Py; Mohamed Sami Cherif; Djamal Habet (ICTAI, 2021)

A Proof Builder for Max-SAT. - Matthieu Py; Mohamed Sami Cherif; Djamal Habet (SAT, 2021)

From Crossing-Free Resolution to Max-SAT Resolution. - Mohamed Sami Cherif; Djamal Habet; Matthieu Py (CP, 2022)

Proofs and Certificates for Max-SAT. - Matthieu Py; Mohamed Sami Cherif; Djamal Habet (J. Artif. Intell. Res., 2022)

Reasoning and Inference for (Maximum) Satisfiability: New Insights. (Raisonnement et Inférence pour la satisfiabilité (Maximum)). - Mohamed Sami Cherif (2022)

Proofs and Certificates for Max-SAT (Extended Abstract). - Matthieu Py; Mohamed Sami Cherif; Djamal Habet (IJCAI, 2023)

Reasoning and inference for (Maximum) satisfiability: new insights. - Mohamed Sami Cherif (Constraints An Int. J., 2023)

Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper). - Sami Cherif; Heythem Sattoutah; Chu-Min Li 001; Corinne Lucet; Laure Brisoux Devendeville (CP, 2024)

Optimizing Power Peaks in Simple Assembly Line Balancing Through Maximum Satisfiability. - Zhifei Zheng; Sami Cherif; Rui Sa Shibasaki (ICTAI, 2024)

ROADEF_SCHEDULING. - Sami Cherif; Heythem Sattoutah; Chu Min Li 001; Corinne Lucet; Laure Brisoux Devendeville (DROPS Artifacts, 2024)

Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability. - Asma Khoualdia; Sami Cherif; Stéphane Devismes; Léo Robert (CP, 2025)

Maximum Satisfiability Formulations for Nonlinear Integer Programming. - Zhifei Zheng; Sami Cherif; Rui Sa Shibasaki; Chu Min Li 001; Jialu Zhang (JELIA (2), 2025)

Exact Approaches for the Diverse Satisfiability Problem. - Zhifei Zheng; Sami Cherif; Rui Sa Shibasaki; Chu Min Li 001; Jialu Zhang (JELIA (2), 2025)

Integer Linear Programming Preprocessing for Maximum Satisfiability. - Jialu Zhang; Chu-Min Li 001; Sami Cherif; Shuolin Li; Zhifei Zheng (CoRR, 2025)