An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality. - Mohamed Siala 002; Emmanuel Hebrard; Marie-José Huguet (CP, 2012)

SAT and Hybrid Models of the Car Sequencing Problem. - Christian Artigues; Emmanuel Hebrard; Valentin Mayer-Eichberger; Mohamed Siala 002; Toby Walsh (CPAIOR, 2014)

An optimal arc consistency algorithm for a particular case of sequence constraint. - Mohamed Siala 002; Emmanuel Hebrard; Marie-José Huguet (Constraints An Int. J., 2014)

Two Clause Learning Approaches for Disjunctive Scheduling. - Mohamed Siala 002; Christian Artigues; Emmanuel Hebrard (CP, 2015)

Search, propagation, and learning in sequencing and scheduling problems. - Mohamed Siala 002 (Constraints An Int. J., 2015)

A study of constraint programming heuristics for the car-sequencing problem. - Mohamed Siala 002; Emmanuel Hebrard; Marie-José Huguet (Eng. Appl. Artif. Intell., 2015)

Search, propagation, and learning in sequencing and scheduling problems. (Recherche, propagation et apprentissage dans les problèmes de séquencement et d'ordonnancement). - Mohamed Siala 002 (2015)

A CP-Based Approach for Popular Matching. - Danuta Sorina Chisca; Mohamed Siala 002; Gilles Simonin; Barry O'Sullivan (AAAI, 2016)

Revisiting Two-Sided Stability Constraints. - Mohamed Siala 002; Barry O'Sullivan (CPAIOR, 2016)

Three generalizations of the FOCUS constraint. - Nina Narodytska; Thierry Petit; Mohamed Siala 002; Toby Walsh (Constraints An Int. J., 2016)

Robust Stable Marriage. - Begum Genc; Mohamed Siala 002; Barry O'Sullivan; Gilles Simonin (AAAI, 2017)

On the Complexity of Robust Stable Marriage. - Begum Genc; Mohamed Siala 002; Gilles Simonin; Barry O'Sullivan (COCOA (2), 2017)

Rotation-Based Formulation for Stable Matching. - Mohamed Siala 002; Barry O'Sullivan (CP, 2017)

Explanation-Based Weighted Degree. - Emmanuel Hebrard; Mohamed Siala 002 (CPAIOR, 2017)

New Models for Two Variants of Popular Matching. - Danuta Sorina Chisca; Mohamed Siala 002; Gilles Simonin; Barry O'Sullivan (ICTAI, 2017)

Finding Robust Solutions to Stable Marriage. - Begum Genc; Mohamed Siala 002; Barry O'Sullivan; Gilles Simonin (IJCAI, 2017)

From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP. - Guillaume Escamocher; Mohamed Siala 002; Barry O'Sullivan (CPAIOR, 2018)

An Approach to Robustness in the Stable Roommates Problem and Its Comparison with the Stable Marriage Problem. - Begum Genc; Mohamed Siala 002; Gilles Simonin; Barry O'Sullivan (CPAIOR, 2019)

Learning Fair Rule Lists. - Ulrich Aïvodji; Julien Ferry; Sébastien Gambs; Marie-José Huguet; Mohamed Siala 002 (CoRR, 2019)

Combinatorial search from an energy perspective. - Mohamed Siala 002; Barry O'Sullivan (Inf. Process. Lett., 2019)

Complexity Study for the Robust Stable Marriage Problem. - Begum Genc; Mohamed Siala 002; Gilles Simonin; Barry O'Sullivan (Theor. Comput. Sci., 2019)

Towards Formal Fairness in Machine Learning. - Alexey Ignatiev; Martin C. Cooper; Mohamed Siala 002; Emmanuel Hebrard; João Marques-Silva 001 (CP, 2020)

Learning Optimal Decision Trees with MaxSAT and its Integration in AdaBoost. - Hao Hu 008; Mohamed Siala 002; Emmanuel Hebrard; Marie-José Huguet (IJCAI, 2020)

Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting. - Mark Antunes; Vincent Armant; Kenneth N. Brown; Daniel A. Desmond; Guillaume Escamocher; Anne-Marie George; Diarmuid Grimes; Mike O'Keeffe; Yiqing Lin; Barry O'Sullivan; Cemalettin Ozturk; Luis Quesada 001; et al. (Int. J. Artif. Intell. Tools, 2020)

FairCORELS, an Open-Source Library for Learning Fair Rule Lists. - Ulrich Aïvodji; Julien Ferry; Sébastien Gambs; Marie-José Huguet; Mohamed Siala 002 (CIKM, 2021)

Optimizing Binary Decision Diagrams with MaxSAT for Classification. - Hao Hu 008; Marie-José Huguet; Mohamed Siala 002 (AAAI, 2022)

Leveraging Integer Linear Programming to Learn Optimal Fair Rule Lists. - Ulrich Aïvodji; Julien Ferry; Sébastien Gambs; Marie-José Huguet; Mohamed Siala 002 (CPAIOR, 2022)

Exploiting Fairness to Enhance Sensitive Attributes Reconstruction. - Julien Ferry; Ulrich Aïvodji; Sébastien Gambs; Marie-José Huguet; Mohamed Siala 002 (SaTML, 2023)

SoK: Taming the Triangle - On the Interplays between Fairness, Interpretability and Privacy in Machine Learning. - Julien Ferry; Ulrich Aïvodji; Sébastien Gambs; Marie-José Huguet; Mohamed Siala 002 (CoRR, 2023)

Improving fairness generalization through a sample-robust optimization method. - Julien Ferry; Ulrich Aïvodji; Sébastien Gambs; Marie-José Huguet; Mohamed Siala 002 (Mach. Learn., 2023)

Probabilistic Dataset Reconstruction from Interpretable Models. - Julien Ferry; Ulrich Aïvodji; Sébastien Gambs; Marie-José Huguet; Mohamed Siala 002 (SaTML, 2024)

On Trustworthy Rule-Based Models and Explanations. - Mohamed Siala 002; Jordi Planes; João Marques-Silva 001 (CoRR, 2025)