2015/02/13 by Roberto Amadini, Maurizio Gabbrielli, Amadini, Roberto +3
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques
paper · pdf · doi:10.48550/arxiv.1502.03986
openalex publication_date 2015/02/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
*** 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.