{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T21:39:15Z","timestamp":1790113155934,"version":"4.0.1"},"reference-count":37,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T00:00:00Z","timestamp":1502323200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2018,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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 solver<jats:monospace>sunny-cp<\/jats:monospace>, and we discuss its performance in the MiniZinc Challenge\u2014the annual international competition for Constraint Programming solvers\u2014where it won two gold medals in 2015 and 2016.<\/jats:p>","DOI":"10.1017\/s1471068417000205","type":"journal-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T08:19:24Z","timestamp":1502353164000},"page":"81-96","source":"Crossref","is-referenced-by-count":5,"title":["SUNNY-CP and the MiniZinc challenge"],"prefix":"10.1017","volume":"18","author":[{"given":"ROBERTO","family":"AMADINI","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"MAURIZIO","family":"GABBRIELLI","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"JACOPO","family":"MAURO","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2017,8,10]]},"reference":[{"key":"S1471068417000205_ref25","unstructured":"Mistral. 2016. Mistral Solver. URL: https:\/\/github.com\/ehebrard\/Mistral-2.0."},{"key":"S1471068417000205_ref34","first-page":"6:1","article-title":"Cross-disciplinary perspectives on meta-learning for algorithm selection","volume":"41","author":"Smith-Miles","year":"2008","journal-title":"ACM"},{"key":"S1471068417000205_ref1","unstructured":"Amadini R. , Biselli F. , Gabbrielli M. , Liu T. and Mauro J. 2015. SUNNY for algorithm selection: A preliminary study. In Proc. 30th Italian Conference on Computational Logic, D. Ancona , M. Maratea and V. Mascardi , Eds. CEUR Workshop Proceedings, vol. 1459, July 1\u20133, 2015, Genova, Italy, CEUR-WS.org, 202\u2013206."},{"key":"S1471068417000205_ref26","first-page":"529","volume-title":"Proc. of Principles and Practice of Constraint Programming \u2013 CP 2007, 13th International Conference, CP 2007","author":"Nethercote","year":"2007"},{"key":"S1471068417000205_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50349-3_20"},{"key":"S1471068417000205_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-015-9459-5"},{"key":"S1471068417000205_ref9","first-page":"108","volume-title":"Proc. of Principles and Practice of Constraint Programming \u2013 20th International Conference, CP 2014","author":"Amadini","year":"2014"},{"key":"S1471068417000205_ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13520-0_22"},{"key":"S1471068417000205_ref3","first-page":"509","article-title":"SUNNY: A lazy portfolio approach for constraint solving","volume":"14","author":"Amadini","year":"2014","journal-title":"TPLP"},{"key":"S1471068417000205_ref19","unstructured":"JaCoP. 2016. JaCoP Solver. URL: http:\/\/jacop.osolpro.com\/."},{"key":"S1471068417000205_ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60520-3"},{"key":"S1471068417000205_ref2","doi-asserted-by":"crossref","first-page":"1357","DOI":"10.1145\/2554850.2555114","volume-title":"Symposium on Applied Computing, SAC 2014","author":"Amadini","year":"2014"},{"key":"S1471068417000205_ref10","first-page":"49","volume-title":"Proc. of Principles and Practice of Constraint Programming \u2013 22nd International Conference, CP 2016","author":"Belov","year":"2016"},{"key":"S1471068417000205_ref23","first-page":"512","volume-title":"Proc. of Principles and Practice of Constraint Programming \u2013 18th International Conference, CP 2012","author":"Malitsky","year":"2012"},{"key":"S1471068417000205_ref33","first-page":"655","volume-title":"Proc. of Principles and Practice of Constraint Programming \u2013 20th International Conference, CP 2014","author":"Sabharwal","year":"2014"},{"key":"S1471068417000205_ref27","unstructured":"O'Mahony E. , Hebrard E. , Holland A. , Nugent C. and O'Sullivan B. 2008, August. Using case-based reasoning in an algorithm portfolio for constraint solving. In Irish conference on artificial intelligence and cognitive science (pp. 210-216)."},{"key":"S1471068417000205_ref18","unstructured":"iZplus. 2016. iZplus Solver Description. URL: https:\/\/www.minizinc.org\/challenge2016\/description_izplus.txt."},{"key":"S1471068417000205_ref12","unstructured":"Chuffed. 2016. Chuffed Solver. URL: https:\/\/github.com\/geoffchu\/chuffed."},{"key":"S1471068417000205_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69507-3_4"},{"key":"S1471068417000205_ref35","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v35i2.2539"},{"key":"S1471068417000205_ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2016.06.002"},{"key":"S1471068417000205_ref4","first-page":"232","volume-title":"Proc. of the 24th International Joint Conference on Artificial Intelligence, IJCAI 2015","author":"Amadini","year":"2015"},{"key":"S1471068417000205_ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695741"},{"key":"S1471068417000205_ref24","unstructured":"MiniZinc. 2016. MiniZinc Software. URL: https:\/\/www.minizinc.org\/software.html."},{"key":"S1471068417000205_ref6","first-page":"349","volume-title":"Proc. of Logic-Based Program Synthesis and Transformation \u2013 25th International Symposium, LOPSTR 2015","author":"Amadini","year":"2015"},{"key":"S1471068417000205_ref13","unstructured":"coseal. 2014. Algorithm Selection Library. URL: http:\/\/www.coseal.net\/."},{"key":"S1471068417000205_ref21","unstructured":"Kotthoff L. 2015. ICON challenge on algorithm selection. CoRR abs\/1511.04326."},{"key":"S1471068417000205_ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00081-3"},{"key":"S1471068417000205_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50349-3_16"},{"key":"S1471068417000205_ref28","unstructured":"Opturion CPX. 2016. Opturion CPX Solver. URL: http:\/\/www.opturion.com\/."},{"key":"S1471068417000205_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.10.003"},{"key":"S1471068417000205_ref29","unstructured":"OR-Tools. 2016. OR-Tools Solver. URL: https:\/\/github.com\/google\/or-tools."},{"key":"S1471068417000205_ref32","volume-title":"Handbook of Constraint Programming (Foundations of Artificial Intelligence)","author":"Rossi","year":"2006"},{"key":"S1471068417000205_ref37","first-page":"48","volume-title":"Practical Aspects of Declarative Languages \u2013 18th International Symposium, PADL 2016","author":"Zhou","year":"2016"},{"key":"S1471068417000205_ref14","first-page":"1068","volume-title":"Proc. of IEEE 25th International Conference on Tools with Artificial Intelligence","author":"de Cat","year":"2013"},{"key":"S1471068417000205_ref30","unstructured":"Prud'homme C. , Fages J.-G. and Lorca X. 2016. Choco Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S."},{"key":"S1471068417000205_ref20","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v35i3.2460"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068417000205","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,26]],"date-time":"2024-06-26T04:02:33Z","timestamp":1719374553000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068417000205\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,10]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,1]]}},"alternative-id":["S1471068417000205"],"URL":"https:\/\/doi.org\/10.1017\/s1471068417000205","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,10]]}}}