Article contents
SUNNY-CP and the MiniZinc challenge*
Published online by Cambridge University Press: 10 August 2017
Abstract
In Constraint Programming, 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 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 Constraint Programming solvers—where it won two gold medals in 2015 and 2016.
- Type
- Technical Note
- Information
- Copyright
- Copyright © Cambridge University Press 2017
Footnotes
This work was supported by the EU project FP7-644298 HyVar: Scalable Hybrid Variability for Distributed, Evolving Software Systems
References
- 3
- Cited by