SUNNY-CP : a Sequential CP Portfolio Solver - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

SUNNY-CP : a Sequential CP Portfolio Solver

Résumé

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

Dates et versions

hal-01227589 , version 1 (23-11-2015)

Identifiants

Citer

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY-CP : a Sequential CP Portfolio Solver. SAC, Apr 2015, Salamanca, Spain. ⟨10.1145/2695664.2695741⟩. ⟨hal-01227589⟩
361 Consultations
379 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More