SUNNY-CP and the MiniZinc challenge*. Issue 1 (10th August 2017)

• Record Type: Journal Article
• Authors: AMADINI, ROBERTO; GABBRIELLI, MAURIZIO; MAURO, JACOPO
• Is Part Of: Theory and practice of logic programming. Volume 18:Issue 1(2018)
• 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
• DOI: 10.1017/S1471068417000205
• Languages: English
• ISSNs: 1471-0684

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.