Mohamed Siala


Search, propagation, and learning in sequencing and scheduling problems

Mohamed Siala, Ph.D. thesis, University of Toulouse, Mai 2015 Thesis.pdf

My PhD is awarded an honourable mention for the Distinguished Dissertation Award 2015 from the European Association for Artificial Intelligence (Link1, Link2).

Journals

3- Three Generalizations of the Focus Constraint

Nina Narodytska, Thierry Petit, Mohamed Siala, and Toby Walsh, Constraints. October 2016, Volume 21, Issue 4, pp 495 – 532.

Published version Preprint

2- A Study of Constraint Programming Heuristics for the Car-Sequencing Problem

Mohamed Siala, Emmanuel Hebrard and Marie-Jose Huguet, Engineering Applications of Artificial Intelligence. February 2015, Volume 38, Pages 34 – 44

Published version Preprint Detailed results

1- An Optimal Arc Consistency Algorithm for a Particular Case of Sequence Constraint

Mohamed Siala, Emmanuel Hebrard, and Marie-Jose Huguet, Constraints. January 2014, Volume 19, Issue 1, pp 30 – 56

Published version Preprint

International Conferences

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

Guillaume Escamocher, Mohamed Siala, Barry O'Sullivan, CPAIOR-'18 June 2018, Delft, The Netherlands.

Published version

10- Finding Robust Solutions to Stable Marriage

Begum Genc, Mohamed Siala, Barry O'Sullivan, Gilles Simonin, IJCAI-'17, August 2017, Melbourne, Australia

Published version Preprint

9- Rotation-Based Formulation for Stable Matching

Mohamed Siala and Barry O'Sullivan, CP-‘17, August 2017, Melbourne, Australia

Published version Preprint

8- On the Complexity of Robust Stable Marriage

Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan, COCOA-‘17, December 2017, Shanghai, China.

Published version Preprint

7- New Models for Two Variants of Popular Matching

Danuta Sorina Chisca, Mohamed Siala, Gilles Simonin, and Barry O'Sullivan, ICTAI-'17, (Accepted), November 2017, Boston, Massachussets, USA

Accepted

6- Explanation-Based Weighted Degree

Emmanuel Hebrard and Mohamed Siala, CPAIOR-'17 June 2017, Padova, Italy

Published version Preprint

5- Revisiting Two-Sided Stability Constraints

Mohamed Siala and Barry O'Sullivan, CPAIOR-'16, May 2016, Banff, Canada

Published version Preprint

4- Two Clause Learning Approaches for Disjunctive Scheduling

Mohamed Siala, Christian Artigues, and Emmanuel Hebrard, CP-'15, Semtember 2015, Cork, Ireland

Published version Preprint Detailed results

3- SAT and Hybrid Models of the Car-Sequencing problem

Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala, and Toby Walsh, CP-AI-OR'14, May 2014, Cork, Ireland

Published version Preprint

2- Three generalizations of the Focus constraint

Nina Narodytska, Thierry PETIT, Mohamed Siala, and Toby Walsh, IJCAI'13, August 2013, Beijing, China

Published version Preprint

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

Mohamed Siala, Emmanuel Hebrard, and Marie-Jose Huguet, CP'12, October 2012, Quebec, Canada

Published version Preprint

Workshops

2- SAT and Hybrid models of the Car-Sequencing problem

Christian Artigues, Emmanuel Hebrard, Valentin Mayer-Eichberger, Mohamed Siala, and Toby Walsh -- CSPSAT'13 , September 2013, Uppsala, Sweden.

1- A study of branching heuristics for the car-sequencing problem.

Mohamed Siala, Emmanuel Hebrard and Marie-Jose Huguet -- SSNOWorkshop'12 , Mai 2012, Nantes, France.

National conferences, Technical reports and other papers

8- [Thesis Abstract] Search, propagation, and learning in sequencing and scheduling problems

Mohamed Siala -- Constraints. October 2015, Volume 20, pp 479-480.

7- A CP-Based Approach for Popular Matching,

Sorina Chisca, Mohamed Siala, Gilles Simonin, and Barry O'Sullivan, AAAI-16 Student Abstract'16, February 2016, Phoenix, Arizona, USA

6- Solving hard sequencing problems via the AtMostSeqCard constraint

Mohamed Siala, Christian Artigues, Emmanuel Hebrard, and Marie-Jose Huguet -- ROADEF'14

5- Analyse de conflit non-standard pour résoudre le problème de Job-Shop

Mohamed Siala, Christian Artigues, and Emmanuel Hebrard -- ROADEF'14 Abstract [French]

4- Explaining the AtMostSeqCard constraint

Mohamed Siala, Christian Artigues, and Emmanuel Hebrard -- CP'13 Doctoral Program, September 2013, Uppsala, Sweden.

3- Combining forces to solve Combinatorial Problems, a preliminary approach

Mohamed Siala, Emmanuel Hebrard, and Christian Artigues -- EDSYS Congress'13, Tarbes, France

2- Three generalizations of the Focus constraint

Nina Narodytska, Thierry PETIT, Mohamed Siala, and Toby Walsh -- Technical report. Available from arXive

1- Algorithme optimal d'arc-consistance pour une séquence de contraintes AtMost avec cardinalité.

Emmanuel Hebrard, Marie-José Huguet, and Mohamed Siala -- JFPC 2012, Toulouse, France