SUNNY-CP: a Portfolio Solver for Constraint Programming
Résumé
In Constraint Programming (CP) 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 last MiniZinc Challenge —the annual international competition for CP solvers— where it won a gold medal.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|