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 metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-01227592
Contributor : Amadini Roberto <>
Submitted on : Monday, November 16, 2015 - 5:37:56 PM
Last modification on : Wednesday, October 10, 2018 - 10:09:14 AM
Long-term archiving on : Friday, April 28, 2017 - 7:36:54 AM

File

ijcai_2015.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01227592, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

165

Files downloads

87