Seven Challenges in Parallel SAT Solving

Youssef Hamadi, Christoph Wintersteiger


This paper provides a broad overview of the situation in 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.


Satisfiability, Parallelism

Full Text:



Copyright © 2018, Association for the Advancement of Artificial Intelligence ( All rights reserved.