Mohamed Siala

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

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. 2019. 〈hal-02062127〉

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

Begum Genc, Mohamed Siala, Gilles Simonin, Barry Sullivan. Finding Robust Solutions to Stable Marriage. IJCAI 2017, Aug 2017, Melbourne, Australia. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17). 〈hal-01689897〉

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〉

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

Danuta Sorina Chisca, Mohamed Siala, Gilles Simonin, Barry Sullivan. A CP-Based Approach to Popular Matching. AAAI 2016, Feb 2016, Phoenix, United States. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence and the Twenty-Eighth Innovative Applications of Artificial Intelligence Conference. 〈hal-01689926〉

Mohamed Siala, Christian Artigues, Emmanuel Hébrard. Two Clause Learning Approaches for Disjunctive Scheduling. Gilles Pesant. Principles and Practice of Constraint Programming, Aug 2015, Cork, Ireland. 9255, pp.393-402, 2015, Lecture Notes in Computer Science. 〈10.1007/978-3-319-23219-5_28〉. 〈hal-01229050〉

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. Springer, 8451, pp.268-283, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-07046-9_19〉. 〈hal-00991036〉

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〉

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, Feb 2014, Bordeaux, France. 〈hal-00946365〉

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, 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, 2013. 〈hal-00871750〉

Mohamed Siala, Emmanuel Hébrard, Marie-José Huguet. An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality. Michela Milano. Eighteenth International Conference on Principles and Practice of Constraint Programming, Oct 2012, Quebec, Canada. 7514, pp.55-69, 2012, Lecture Notes in Computer Science. 〈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é. Simon de Givry. JFPC 2012, May 2012, Toulouse, France. 10 p., 2012. 〈hal-00812413〉

Nina Narodytska, Thierry Petit, Mohamed Siala, Toby Walsh. Three Generalizations of the FOCUS Constraint. Rapport LAAS n° 13144. Technical report. 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〉