Mohamed Siala

Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'Sullivan. Complexity Study for the Robust Stable Marriage Problem. Theoretical Computer Science, Elsevier, 2019, 775, pp.76-92. ⟨10.1016/j.tcs.2018.12.017⟩. ⟨hal-01974431⟩

Mohamed Siala, Barry O'Sullivan. Combinatorial Search from an Energy Perspective. Information Processing Letters, Elsevier, In press, ⟨10.1016/j.ipl.2019.04.002⟩. ⟨hal-02120041⟩

Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh. Three generalizations of the FOCUS constraint. Constraints, Springer Verlag, 2016, 21 (4), pp.459-532. ⟨10.1007/s10601-015-9233-7⟩. ⟨hal-01238445⟩

Mohamed Siala, Emmanuel Hébrard, Marie-José Huguet. A study of constraint programming heuristics for the car-sequencing problem. Engineering Applications of Artificial Intelligence, Elsevier, 2015, 38, pp.34 - 44. ⟨10.1016/j.engappai.2014.10.009⟩. ⟨hal-01084239⟩

Mohamed Siala, Emmanuel Hébrard, Marie-José Huguet. An Optimal Arc Consistency Algorithm for a Particular Case of Sequence Constraint. Constraints, Springer Verlag, 2014, 19 (1), pp.30-56. ⟨10.1007/s10601-013-9150-6⟩. ⟨hal-00876594⟩

Begum Genc, Mohamed Siala, Gilles Simonin, Barry O'sullivan. An Approach to Robustness in the Stable Roommates Problem and its Comparison with the Stable Marriage Problem. Sixteenth International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Jun 2019, THESSALONIKI, Greece. ⟨hal-02062127⟩

Emmanuel Hébrard, Mohamed Siala. Explanation-Based Weighted Degree. CPAIOR, Jun 2017, Padoue, Italy. 9p. ⟨hal-01670307⟩

Begum Genc, Mohamed Siala, Gilles Simonin, Barry Sullivan. On the Complexity of Robust Stable Marriage. COCOA 2017 11th Annual International Conference on Combinatorial Optimization and Applications , Dec 2017, Shanghai, China. ⟨hal-01689884⟩

Begum Genc, Mohamed Siala, Gilles Simonin, Barry Sullivan. Finding Robust Solutions to Stable Marriage. IJCAI 2017, Aug 2017, Melbourne, Australia. ⟨hal-01689897⟩

Begum Genc, Mohamed Siala, Barry Sullivan, Gilles Simonin. Robust Stable Marriage. AAAI - 17, Feb 2017, San Francisco, United States. pp.4925-4926. ⟨hal-01689852⟩

Danuta Sorina Chisca, Mohamed Siala, Gilles Simonin, Barry Sullivan. A CP-Based Approach to Popular Matching. AAAI 2016, Feb 2016, Phoenix, United States. ⟨hal-01689926⟩

Mohamed Siala, Christian Artigues, Emmanuel Hébrard. Two Clause Learning Approaches for Disjunctive Scheduling. Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. pp.393-402, ⟨10.1007/978-3-319-23219-5_28⟩. ⟨hal-01229050⟩

Mohamed Siala, Christian Artigues, Emmanuel Hébrard. Analyse de conflit non-standard pour résoudre le problème de Job-Shop. ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France. ⟨hal-00946365⟩

Mohamed Siala, Christian Artigues, Emmanuel Hébrard, Marie-José Huguet. Solving hard sequencing problems via the AtMostSeqCard constraint. ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision, Feb 2014, Bordeaux, France. ⟨hal-00946361v2⟩

Christian Artigues, Emmanuel Hébrard, Valentin Mayer-Eichberger, Mohamed Siala, Toby Walsh. SAT and Hybrid Models of the Car Sequencing Problem. 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014., May 2014, Cork, Ireland. pp.268-283, ⟨10.1007/978-3-319-07046-9_19⟩. ⟨hal-00991036⟩

Mohamed Siala, Christian Artigues, Emmanuel Hébrard. Explaining the AtMostSeqCard constraint. Doctoral Program Workshop at CP2013, Sep 2013, Uppsala, Sweden. ⟨hal-00871706⟩

Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh. Three Generalizations of the FOCUS Constraint. 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Aug 2013, Beijing, China. p.630 ; ISBN 978-1-57735-633-2. ⟨hal-00871750⟩

Christian Artigues, Emmanuel Hébrard, Valentin Mayer-Eichberger, Mohamed Siala, Toby Walsh. SAT and Hybrid models of the Car-Sequencing problem. Third International Workshop on the Cross-Fertilization Between CSP and SAT, in conjunction with CP 2013, Sep 2013, Uppsala, Sweden. ⟨hal-00871729v2⟩

Mohamed Siala, Emmanuel Hébrard, Marie-José Huguet. An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality. Eighteenth International Conference on Principles and Practice of Constraint Programming, Oct 2012, Quebec, Canada. pp.55-69, ⟨10.1007/978-3-642-33558-7_7⟩. ⟨hal-00713860⟩

Emmanuel Hébrard, Marie-José Huguet, Mohamed Siala. Algorithme optimal d'arc-consistance pour une séquence de contraintes AtMost avec cardinalité. JFPC 2012, May 2012, Toulouse, France. 10 p. ⟨hal-00812413⟩

Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh. Three Generalizations of the FOCUS Constraint. 2013. ⟨hal-00820894⟩

Mohamed Siala. Search, propagation, and learning in sequencing and scheduling problems. Artificial Intelligence [cs.AI]. INSA de Toulouse, 2015. English. ⟨NNT : 2015ISAT0008⟩. ⟨tel-01164291v2⟩