Hamadi, Y. and Wintersteiger, C. 2013. Seven Challenges in Parallel SAT Solving. AI Magazine. 34, 2 (Jun. 2013), 99. DOI:https://doi.org/10.1609/aimag.v34i2.2450.