A Multicore Tool for Constraint Solving - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

A Multicore Tool for Constraint Solving


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.
Fichier principal
Vignette du fichier
ijcai_2015.pdf (303.51 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01227592 , version 1 (16-11-2015)


  • 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⟩
117 View
42 Download


Gmail Facebook X LinkedIn More