Seven Challenges in Parallel SAT Solving
Abstract
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.
Cite
Text
Hamadi and Wintersteiger. "Seven Challenges in Parallel SAT Solving." AAAI Conference on Artificial Intelligence, 2012. doi:10.1609/AAAI.V26I1.8438Markdown
[Hamadi and Wintersteiger. "Seven Challenges in Parallel SAT Solving." AAAI Conference on Artificial Intelligence, 2012.](https://mlanthology.org/aaai/2012/hamadi2012aaai-seven/) doi:10.1609/AAAI.V26I1.8438BibTeX
@inproceedings{hamadi2012aaai-seven,
title = {{Seven Challenges in Parallel SAT Solving}},
author = {Hamadi, Youssef and Wintersteiger, Christoph M.},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2012},
pages = {2120-2125},
doi = {10.1609/AAAI.V26I1.8438},
url = {https://mlanthology.org/aaai/2012/hamadi2012aaai-seven/}
}