Mohamed Siala


I'm a Ph.D candidate in Computer Science working in the field of Combinatorial Optimisation. I started my Ph.D in December 2011 under the supervision of Dr. Emmanuel Hebrard and Dr. Christian ARTIGUES in the LAAS-CNRS laboratory (Toulouse, France).
My main research is focused on Constraint Programming, Boolean Satisfiability, Satisfiability Modulo Theories and more generally on Artificial Intelligence. You will find here some of my talks, a list of my publications as well as few personal details.