A Multicore Tool for Constraint Solving
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 232-237.
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.
@inproceedings{ijcai2015p39,
title = {A Multicore Tool for Constraint Solving},
author = {Amadini, Roberto and Gabbrielli, Maurizio and Mauro, Jacopo},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI-15}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Qiang Yang and Michael Wooldridge},
pages = {232--237},
year = {2015},
month = {7},
note = {Main Track},
url = {https://ijcai.org/proceedings/2015/39},
}
TY - CPAPER TI - A Multicore Tool for Constraint Solving AU - Amadini, Roberto AU - Gabbrielli, Maurizio AU - Mauro, Jacopo T2 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 PB - International Joint Conferences on Artificial Intelligence PY - 2015 SP - 232 EP - 237 UR - https://ijcai.org/proceedings/2015/39 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
