SUNNY-CP and the MiniZinc challenge - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Theory and Practice of Logic Programming Année : 2018

SUNNY-CP and the MiniZinc challenge

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 MiniZinc Challenge-the annual international competition for CP solvers-where it won two gold medals in 2015 and 2016.
Fichier principal
Vignette du fichier
1706.08627.pdf (222.11 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01931324 , version 1 (22-11-2018)

Identifiants

Citer

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY-CP and the MiniZinc challenge. Theory and Practice of Logic Programming, 2018, 18 (01), pp.81 - 96. ⟨10.1017/S1471068417000205⟩. ⟨hal-01931324⟩
69 Consultations
184 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More