A Multicore Tool for Constraint Solving

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.

Extracted Key Phrases

6 Figures and Tables

01020201520162017
Citations per Year

Citation Velocity: 6

Averaging 6 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@inproceedings{Amadini2015AMT, title={A Multicore Tool for Constraint Solving}, author={Roberto Amadini and Maurizio Gabbrielli and Jacopo Mauro}, booktitle={IJCAI}, year={2015} }