@inproceedings{9335fc2a7a864ec5b7e1c73d4cb6369f,
title = "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.",
author = "Roberto Amadini and Maurizio Gabbrielli and Jacopo Mauro",
year = "2015",
month = jan,
day = "1",
language = "English",
series = "IJCAI International Joint Conference on Artificial Intelligence",
publisher = "International Joint Conferences on Artificial Intelligence",
pages = "232--238",
editor = "Michael Wooldridge and Qiang Yang",
booktitle = "IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence",
note = "24th International Joint Conference on Artificial Intelligence, IJCAI 2015 ; Conference date: 25-07-2015 Through 31-07-2015",
}