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.
A multicore tool for constraint solving / Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo. - In: IJCAI. - ISSN 1045-0823. - STAMPA. - 2015-:(2015), pp. 232-238. (Intervento presentato al convegno 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 tenutosi a arg nel 2015).
A multicore tool for constraint solving
Amadini, Roberto;GABBRIELLI, MAURIZIO;
2015
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
