A Multicore Tool for Constraint Solving

Roberto Amadini (1, 2) , Maurizio Gabbrielli (2, 1) , Jacopo Mauro (2, 1)

1 DISI - Department of Computer Science and Engineering [Bologna]
2 FOCUS - Foundations of Component-based Ubiquitous Systems

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.

Domaines: Informatique [cs]

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro. A Multicore Tool for Constraint Solving. IJCAI 2015 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. pp.232-238. ⟨hal-01227592⟩