SUNNY-CP: a Portfolio Solver for Constraint Programming

Roberto Amadini 1, 2 Maurizio Gabbrielli 2, 1 Jacopo Mauro 3
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : 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.
Type de document :
Rapport
[Technical Report] Inria Sophia Antipolis. 2016
Liste complète des métadonnées

https://hal.inria.fr/hal-01336407
Contributeur : Jacopo Mauro <>
Soumis le : jeudi 23 juin 2016 - 09:58:44
Dernière modification le : jeudi 11 janvier 2018 - 16:48:48
Document(s) archivé(s) le : samedi 24 septembre 2016 - 12:06:53

Fichiers

sunny_hal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01336407, version 1

Collections

Citation

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY-CP: a Portfolio Solver for Constraint Programming. [Technical Report] Inria Sophia Antipolis. 2016. 〈hal-01336407〉

Partager

Métriques

Consultations de la notice

139

Téléchargements de fichiers

84