Parallel SAT Solver Selection and Scheduling

TitleParallel SAT Solver Selection and Scheduling
Publication TypeConference Paper
Year of Publication2012
AuthorsMalitsky Y, Sabharwal A, Samulowitz H, Sellmann M
Conference NamePrinciples and Practice of Constraint Programming
Edition18
PublisherSpringer
Conference LocationQuebec City, Canada
KeywordsModel Reformulation and Solver Optimization
Abstract

Combining differing solution approaches by means of solver portfolios has proven as a highly effective technique for boosting solver performance. We consider the problem of generating parallel SAT solver portfolios. Our approach is based on a recently introduced sequential SAT solver portfolio that excelled at the last SAT competition. We show how the approach can be generalized for the parallel case, and how obstacles like parallel SAT solvers and symmetries induced by identical processors can be overcome. We compare different ways of computing parallel solver portfolios with the best performing parallel SAT approaches to date. Extensive experimental results show that the developed methodology very significantly improves our current parallel SAT solving capabilities.

DOI10.1007/978-3-642-33558-7_38