Personal information

Artificial Intelligence, Constraint Programming, Combinatorial Optimisation, Algorithms
France

Activities

Employment (6)

Laboratoire d'analyse et d'architecture des systèmes: Toulouse, Occitanie, FR

2018-09-01 to present | Associate Professor (Decision and Optimisation)
Employment
Source: Self-asserted source
Mohamed Siala

INSA Toulouse: Toulouse, Occitanie, FR

2018-09-01 to present | Associate Professor (Department of Computer and Electrical Engineering)
Employment
Source: Self-asserted source
Mohamed Siala

University College Cork: Cork, County Cork, IE

2015-06-15 to 2018-08-31 | Post Doctoral Researcher (Computer Science)
Employment
Source: Self-asserted source
Mohamed Siala

University College Cork: Cork, County Cork, IE

2015-03-05 to 2015-06-14 | Research Assistant (Computer Science)
Employment
Source: Self-asserted source
Mohamed Siala

Laboratoire d'analyse et d'architecture des systèmes: Toulouse, Midi-Pyrénées, FR

2011-12-10 to 2014-12-10 | PhD Student Researcher (Decision and Optimisation)
Employment
Source: Self-asserted source
Mohamed Siala

INSA Toulouse: Toulouse, Midi-Pyrénées, FR

2012-10 to 2014-09 | Teaching Assistant (Doctorant Chargé d'Enseignement) (Computer Science)
Employment
Source: Self-asserted source
Mohamed Siala

Education and qualifications (1)

INSA Toulouse: Toulouse, Midi-Pyrénées, FR

2011-12-11 to 2015-05-13 | PhD (Computer Science)
Education
Source: Self-asserted source
Mohamed Siala

Professional activities (3)

Association for Constraint Programming: Cork, IE

2013-01 to present (http://a4cp.org/)
Membership
Source: Self-asserted source
Mohamed Siala

European Association for Artificial Intelligence: The Hague, NL

2016-09-01 to 2016-09-01 | Distinguished Dissertation Award 2015, honourable mention
Distinction
Source: Self-asserted source
Mohamed Siala

International Conference on Principles and Practice of Constraint Programming: Quebec, CA

2012-10-08 to 2012-10-12 | Honorable mention for the paper "An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality"
Distinction
Source: Self-asserted source
Mohamed Siala

Works (28)

Exploiting Fairness to Enhance Sensitive Attributes Reconstruction

CoRR
2022 | Journal article
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 2)‎

Leveraging Integer Linear Programming to Learn Optimal Fair Rule Lists

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings
2022 | Conference paper
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 2)‎

Optimizing Binary Decision Diagrams with MaxSAT for classification

CoRR
2022 | Journal article
Part of ISSN: 2374-3468
Part of ISSN: 2159-5399
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

FairCORELS, an Open-Source Library for Learning Fair Rule Lists

CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1 - 5, 2021
2021 | Conference paper
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 2)‎

Learning Optimal Decision Trees with MaxSAT and its Integration in AdaBoost

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020
2020 | Conference paper
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 2)‎

Towards Formal Fairness in Machine Learning

Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings
2020 | Conference paper
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 2)‎

An Approach to Robustness in the Stable Roommates Problem and Its Comparison with the Stable Marriage Problem

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings
2019 | Conference paper
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

Combinatorial search from an energy perspective

Inf. Process. Lett.
2019 | Journal article
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

Complexity Study for the Robust Stable Marriage Problem

Theor. Comput. Sci.
2019 | Journal article
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

Learning Fair Rule Lists

CoRR
2019 | Journal article
URI:

http://arxiv.org/abs/1909.03977

Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 2)‎

Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting

IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018, 5-7 November 2018, Volos, Greece.
2018 | Conference paper
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 5)‎

From Backdoor Key to Backdoor Completability: Improving a Known Measure of Hardness for the Satisfiable CSP

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26-29, 2018, Proceedings
2018 | Conference paper
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

Explanation-Based Weighted Degree

Integration of AI and OR Techniques in Constraint Programming - 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings
2017 | Conference paper
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

Finding Robust Solutions to Stable Marriage

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
2017 | Conference paper
URI:

http://arxiv.org/abs/1705.09218

Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 6)‎

New Models for Two Variants of Popular Matching

29th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2017, Boston, MA, USA, November 6-8, 2017
2017 | Conference paper
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

On the Complexity of Robust Stable Marriage

Combinatorial Optimization and Applications - 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II
2017 | Conference paper
URI:

http://arxiv.org/abs/1709.06172

Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 6)‎

Robust Stable Marriage

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA.
2017 | Conference paper
URI:

http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14785

Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

Rotation-Based Formulation for Stable Matching

Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
2017 | Conference paper
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

A CP-Based Approach for Popular Matching

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA.
2016 | Conference paper
URI:

http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12138

Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

Revisiting Two-Sided Stability Constraints

Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings
2016 | Conference paper
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

Three generalizations of the FOCUS constraint

Constraints
2016 | Journal article
URI:

http://arxiv.org/abs/1304.5970

URI:

http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6829

Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 9)‎

A study of constraint programming heuristics for the car-sequencing problem

Eng. Appl. of AI
2015 | Journal article
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

Search, propagation, and learning in sequencing and scheduling problems

Constraints
2015 | Journal article
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

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

2015 | Dissertation or Thesis
URI:

https://tel.archives-ouvertes.fr/tel-01164291

Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

Two Clause Learning Approaches for Disjunctive Scheduling

Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings
2015 | Conference paper
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

An optimal arc consistency algorithm for a particular case of sequence constraint

Constraints
2014 | Journal article
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

SAT and Hybrid Models of the Car Sequencing Problem

Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings
2014 | Conference paper
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality

Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
2012 | Conference paper
Source: Self-asserted source
Mohamed Siala
grade
Preferred source (of 3)‎

Peer review (4 reviews for 2 publications/grants)

Review activity for ACM computing surveys. (1)
Review activity for Constraints. (3)