---
title: "A Multicore Tool for Constraint Solving"
authors:
  - "Roberto Amadini"
  - "Maurizio Gabbrielli"
  - "Jacopo Mauro"
doi: ""
url: "https://ijcai.org/proceedings/2015/39"
pdf: "https://ijcai.org/proceedings/2015/0039.pdf"
venue: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence"
year: 2015
pages: "232-237"
track: "Main Track"
keywords:
---

# A Multicore Tool for Constraint Solving

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

*Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence*, 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.