Journal article
SUNNY-CP and the minizinc challenge
R Amadini, M Gabbrielli, J Mauro
Theory and Practice of Logic Programming | CAMBRIDGE UNIV PRESS | Published : 2018
Abstract
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.
Grants
Awarded by Horizon 2020 Framework Programme
Funding Acknowledgements
This work was supported by the EU project FP7-644298 HyVar: Scalable Hybrid Variability for Distributed, Evolving Software Systems