SUNNY-CP : a Sequential CP Portfolio Solver

Roberto Amadini 1, 2 Maurizio Gabbrielli 2, 1 Jacopo Mauro 2, 1
1 DISI - Department of Computer Science and Engineering [Bologna]
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : The Constraint Programming (CP) paradigm allows to model and solve Constraint Satisfaction / Optimization Problems (CSPs / COPs). A CP Portfolio Solver is a particular constraint solver that takes advantage of a portfolio of different CP solvers in order to solve a given problem by properly exploiting Algorithm Selection techniques. In this work we present sunny-cp: a CP portfolio for solving both CSPs and COPs that turned out to be competitive also in the MiniZinc Challenge, the reference competition for CP solvers.
Keywords : Categories and Subject Descriptors I2 [Computing Methodologies]: Artificial Intelligence— Constraint Programming Algorithm Portfolios Solvers and Tools
Type de document :
Communication dans un congrès
SAC, Apr 2015, Salamanca, Spain. 2015, 〈10.1145/2695664.2695741〉
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01227589
Contributeur : Amadini Roberto <>
Soumis le : lundi 23 novembre 2015 - 17:28:50
Dernière modification le : samedi 27 janvier 2018 - 01:31:38
Document(s) archivé(s) le : mercredi 24 février 2016 - 10:21:01

Fichier

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

Identifiants

Collections

INRIA

Citation

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY-CP : a Sequential CP Portfolio Solver. SAC, Apr 2015, Salamanca, Spain. 2015, 〈10.1145/2695664.2695741〉. 〈hal-01227589〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

245

Téléchargements de fichiers

152

Contact


archive-ouverte@inria.fr