Section: New Results

Constraint Programming

Participants : Maurizio Gabbrielli, Liu Tong.

In Focus, we sometimes make use of constraint solvers (e.g., cloud computing, service-oriented computing). Since a few years we have thus began to develop tools based on constraints and constraint solvers.

In this area a portfolio solver combines a variety of different constraint solvers for solving a given problem. This fairly recent approach enables to significantly boost the performance of single solvers, especially when multicore architectures are exploited. In [10] we give a brief overview of the portfolio solver sunny-cp, and we discuss its performance in the MiniZinc Challenge —the annual international competition for CP solvers —where it won two gold medals in 2015 and 2016.