SUNNY-CP: a Portfolio Solver for Constraint Programming - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport Technique) Année : 2016

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.
Fichier principal
Vignette du fichier
sunny_hal.pdf (109.55 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01336407 , version 1 (23-06-2016)

Identifiants

  • HAL Id : hal-01336407 , version 1

Citer

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY-CP: a Portfolio Solver for Constraint Programming. [Technical Report] Inria Sophia Antipolis. 2016. ⟨hal-01336407⟩
426 Consultations
198 Téléchargements

Partager

More