# A Multicore Tool for Constraint Solving

arXiv: https://arxiv.org/abs/1502.03986 · HTML: https://mlsanity.com/paper/1502.03986/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 13 Feb 2015.

## Built on by (most cited first, 1 of 1)

- [Predictive Machine Learning of Objective Boundaries for Solving COPs](https://mlsanity.com/paper/2111.03160/) (2021)

## Abstract (arXiv)

*** To appear in IJCAI 2015 proceedings *** 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.