Conference Publication Details
Mandatory Fields
Barry Hurley, Lars Kotthoff, Yuri Malitsky, Barry O’Sullivan
Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014
Proteus: A Hierarchical Portfolio of Solvers and Transformations
2014
May
Published
1
Optional Fields
301
317
Cork
19-MAY-14
23-MAY-14
In recent years, portfolio approaches to solving SAT problems and CSPs have become increasingly common. There are also a number of different techniques for converting SAT problems into CSPs. In this paper, we leverage advances in both areas and present a novel hierarchical portfolio-based approach to CSP solving that does not rely purely on CSP solvers, but may convert a problem to SAT choosing a conversion technique and the accommodating SAT solver. Our experimental evaluation relies on competition CSP instances and uses eight CSP solvers, three SAT encodings and eighteen SAT solvers. We demonstrate that significant performance improvements can be obtained by considering alternative view-points of a combinatorial problem.
10.1007/978-3-319-07046-9_22
Grant Details