A multicore tool for constraint solving

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

In Constraint Programming (CP), a portfolio solver uses a variety of different solvers for solving a given Constraint Satisfaction/Optimization Problem. In this paper we introduce sunny-cp2: the first parallel CP portfolio solver that enables a dynamic, cooperative, and simultaneous execution of its solvers in a multicore setting. It incorporates state-of-the-art solvers, providing also a usable and configurable framework. Empirical results are very promising. sunny-cp2 can even outperform the performance of the oracle solver which always selects the best solver of the portfolio for a given problem.

Original languageEnglish
Title of host publicationIJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence
EditorsMichael Wooldridge, Qiang Yang
Number of pages7
PublisherInternational Joint Conferences on Artificial Intelligence
Publication date1. Jan 2015
Pages232-238
ISBN (Electronic)9781577357384
Publication statusPublished - 1. Jan 2015
Externally publishedYes
Event24th International Joint Conference on Artificial Intelligence, IJCAI 2015 - Buenos Aires, Argentina
Duration: 25. Jul 201531. Jul 2015

Conference

Conference24th International Joint Conference on Artificial Intelligence, IJCAI 2015
Country/TerritoryArgentina
CityBuenos Aires
Period25/07/201531/07/2015
SponsorAlibaba , University of Buenos Aires, International Joint Conferences on Artificial Intelligence (IJCAI), National University of South
SeriesIJCAI International Joint Conference on Artificial Intelligence
Volume2015-January
ISSN1045-0823

Fingerprint

Dive into the research topics of 'A multicore tool for constraint solving'. Together they form a unique fingerprint.

Cite this