@article{Hamadi_Wintersteiger_2013, title={Seven Challenges in Parallel SAT Solving}, volume={34}, url={https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2450}, DOI={10.1609/aimag.v34i2.2450}, abstractNote={<span style="font-family: Times New Roman; font-size: small;"> </span><p style="margin: 0cm 0cm 0pt; text-align: justify;" class="MsoNoSpacing"><span lang="EN-US" style="mso-ansi-language: EN-US;"><span style="font-size: small;"><span style="font-family: Calibri;">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.</span></span></span></p><span style="font-family: Times New Roman; font-size: small;"> </span>}, number={2}, journal={AI Magazine}, author={Hamadi, Youssef and Wintersteiger, Christoph}, year={2013}, month={Jun.}, pages={99} }