SUNNY-CP and the minizinc challenge

Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro

doi:10.1017/S1471068417000205

SUNNY-CP and the minizinc challenge

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Abstract

In Constraint Programming (CP) a portfolio solver combines a variety of difierent con- straint solvers for solving a given problem. This fairly recent approach enables to signifi- cantly 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.

Originalsprog	Engelsk
Tidsskrift	Theory and Practice of Logic Programming
Vol/bind	18
Udgave nummer	1
Sider (fra-til)	1-14
Antal sider	14
ISSN	1471-0684
DOI	https://doi.org/10.1017/S1471068417000205
Status	Udgivet - jan. 2018
Udgivet eksternt	Ja

Dokumenter og links

10.1017/S1471068417000205

Citationsformater

@article{9a89ab4b51fb414d9a254f56b8a25dd6,

title = "SUNNY-CP and the minizinc challenge",

abstract = "In Constraint Programming (CP) a portfolio solver combines a variety of difierent con- straint solvers for solving a given problem. This fairly recent approach enables to signifi- cantly 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.",

author = "Roberto Amadini and Maurizio Gabbrielli and Jacopo Mauro",

year = "2018",

month = jan,

doi = "10.1017/S1471068417000205",

language = "English",

volume = "18",

pages = "1--14",

journal = "Theory and Practice of Logic Programming",

issn = "1471-0684",

publisher = "Heinemann",

number = "1",

}

TY - JOUR

T1 - SUNNY-CP and the minizinc challenge

AU - Amadini, Roberto

AU - Gabbrielli, Maurizio

AU - Mauro, Jacopo

PY - 2018/1

Y1 - 2018/1

N2 - In Constraint Programming (CP) a portfolio solver combines a variety of difierent con- straint solvers for solving a given problem. This fairly recent approach enables to signifi- cantly 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.

AB - In Constraint Programming (CP) a portfolio solver combines a variety of difierent con- straint solvers for solving a given problem. This fairly recent approach enables to signifi- cantly 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.

U2 - 10.1017/S1471068417000205

DO - 10.1017/S1471068417000205

M3 - Journal article

AN - SCOPUS:85041855489

SN - 1471-0684

VL - 18

SP - 1

EP - 14

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

IS - 1

ER -

SUNNY-CP and the minizinc challenge

Abstract

Dokumenter og links

Fingeraftryk

Citationsformater