SUNNY-CP and the MiniZinc challenge

Roberto Amadini 1 Maurizio Gabbrielli 2, 1 Jacopo Mauro 1
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 MiniZinc Challenge-the annual international competition for CP solvers-where it won two gold medals in 2015 and 2016.
Document type :
Journal articles
Complete list of metadatas

Cited literature [35 references]  Display  Hide  Download

https://hal.inria.fr/hal-01931324
Contributor : Maurizio Gabbrielli <>
Submitted on : Thursday, November 22, 2018 - 5:02:27 PM
Last modification on : Friday, November 23, 2018 - 1:20:02 AM
Long-term archiving on : Saturday, February 23, 2019 - 3:11:16 PM

File

1706.08627.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. SUNNY-CP and the MiniZinc challenge. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2018, 18 (01), pp.81 - 96. ⟨10.1017/S1471068417000205⟩. ⟨hal-01931324⟩

Share

Metrics

Record views

81

Files downloads

110