SUNNY-CP and the MiniZinc challenge*. Issue 1 (10th August 2017)
- Record Type:
- Journal Article
- Title:
- SUNNY-CP and the MiniZinc challenge*. Issue 1 (10th August 2017)
- Main Title:
- SUNNY-CP and the MiniZinc challenge*
- Authors:
- AMADINI, ROBERTO
GABBRIELLI, MAURIZIO
MAURO, JACOPO - Abstract:
- Abstract: In Constraint Programming, 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 solversunny-cp, and we discuss its performance in the MiniZinc Challenge—the annual international competition for Constraint Programming solvers—where it won two gold medals in 2015 and 2016.
- Is Part Of:
- Theory and practice of logic programming. Volume 18:Issue 1(2018)
- Journal:
- Theory and practice of logic programming
- Issue:
- Volume 18:Issue 1(2018)
- Issue Display:
- Volume 18, Issue 1 (2018)
- Year:
- 2018
- Volume:
- 18
- Issue:
- 1
- Issue Sort Value:
- 2018-0018-0001-0000
- Page Start:
- 81
- Page End:
- 96
- Publication Date:
- 2017-08-10
- Subjects:
- Constraint Programming, -- Algorithm Selection, -- Algorith Portfolios, -- MiniZinc
Logic programming -- Periodicals
Artificial intelligence -- Computer programs -- Periodicals
Constraint programming (Computer science) -- Periodicals
005.115 - Journal URLs:
- https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming ↗
- DOI:
- 10.1017/S1471068417000205 ↗
- Languages:
- English
- ISSNs:
- 1471-0684
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 5684.xml