SUNNY-CP and the MiniZinc challenge
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
THEORY AND PRACTICE OF LOGIC PROGRAMMING | CAMBRIDGE UNIV PRESS | Published : 2018
In Constraint Programming (CP) a portfolio solver combines a variety of difierent con- straint solvers for solving a given problem. This fairly recent approach enables to signifi- cantly boost the performance of single solvers, especially when multicore architectures are exploited. In this work 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.
Awarded by EU
This work was supported by the EU project FP7-644298 HyVar: Scalable Hybrid Variability for Distributed, Evolving Software Systems