{"type":"ScholarlyArticle","title":"A Multicore Tool for Constraint Solving","authors":[{"name":"Roberto Amadini","slug":"roberto-amadini","given":"Roberto","family":"Amadini","affiliation":""},{"name":"Maurizio Gabbrielli","slug":"maurizio-gabbrielli","given":"Maurizio","family":"Gabbrielli","affiliation":""},{"name":"Jacopo Mauro","slug":"jacopo-mauro","given":"Jacopo","family":"Mauro","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2015/39","pdf":"https://ijcai.org/proceedings/2015/0039.pdf","markdown":"https://ijcai.org/proceedings/2015/39.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/39","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Constraint Optimization","track":"Main Track","number":39,"pages":{"first":232,"last":237},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}