Seven Challenges in Parallel SAT Solving

Youssef Hamadi and Christoph M. Wintersteiger


This paper provides a broad overview of the situation in the area of Parallel

Search with a specific focus on Parallel SAT Solving. A set of challenges to

researchers is presented which, we believe, must be met to ensure the

practical applicability of Parallel SAT Solvers in the future. All these

challenges are described informally, but put into perspective with related

research results, and a (subjective) grading of difficulty for each

of them is provided.


Publication typeInproceedings
Published inProceedings of AAAI-12
PublisherAmerican Association for Artificial Intelligence
> Publications > Seven Challenges in Parallel SAT Solving