Open Access Open Access  Restricted Access Subscription Access

Seven Challenges in Parallel SAT Solving

Youssef Hamadi, Christoph Wintersteiger

Abstract


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.


Keywords


Satisfiability, Parallelism

Full Text:

PDF


DOI: http://dx.doi.org/10.1609/aimag.v34i2.2450

Copyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.