You are here

Insight's Mohamed Siala wins international constraint programming solvers prize

Insight’s Mohamed Siala has won the optimisation track in the inaugural XCSP3 competition, an international constraint programming solvers competition.

Siala partnered with fellow researcher Emmanuel Hebrard from LAAS-CNRS Toulouse France. They and other entrants submitted solvers which were evaluated over a number of combinatorial problems. There was a number of tracks for sequential and parallel solvers and Siala and Hebrard’s solver ranked first in the main optimisation track and second in the main decision track.

Siala explained, “We submitted the Mistral-2.0 solver for the sequential tracks. Mistral uses the explanation-based weighted degree heuristic that we proposed in our paper [1] within the last conflict ordering.”

Details of the results are available here

[1] Explanation-Based Weighted Degree, Emmanuel Hebrard and Mohamed Siala, In proceedings of Integration of AI and OR Techniques in Constraint Programming,  pp 167-175, June 2017, Padova, Italy