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.
Cite
Text
Amadini et al. "A Multicore Tool for Constraint Solving." International Joint Conference on Artificial Intelligence, 2015.Markdown
[Amadini et al. "A Multicore Tool for Constraint Solving." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/amadini2015ijcai-multicore/)BibTeX
@inproceedings{amadini2015ijcai-multicore,
title = {{A Multicore Tool for Constraint Solving}},
author = {Amadini, Roberto and Gabbrielli, Maurizio and Mauro, Jacopo},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2015},
pages = {232-238},
url = {https://mlanthology.org/ijcai/2015/amadini2015ijcai-multicore/}
}