Skip to Main content Skip to Navigation
New interface
Conference papers

A Multicore Tool for Constraint Solving

Roberto Amadini 1, 2 Maurizio Gabbrielli 2, 1 Jacopo Mauro 2, 1 
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Amadini Roberto Connect in order to contact the contributor
Submitted on : Monday, November 16, 2015 - 5:37:56 PM
Last modification on : Wednesday, February 2, 2022 - 3:56:16 PM
Long-term archiving on: : Friday, April 28, 2017 - 7:36:54 AM


Files produced by the author(s)


  • HAL Id : hal-01227592, version 1



Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. A Multicore Tool for Constraint Solving. IJCAI 2015 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.232-238. ⟨hal-01227592⟩



Record views


Files downloads