SUNNY-CP and the MiniZinc challenge - Archive ouverte HAL Access content directly
Journal Articles Theory and Practice of Logic Programming Year : 2018

SUNNY-CP and the MiniZinc challenge

(1) , (2, 1) , (1)
1
2

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 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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
63 View
140 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More