Hamadi, Youssef, and Christoph Wintersteiger. 2013. “Seven Challenges in Parallel SAT Solving”. AI Magazine 34 (2):99. https://doi.org/10.1609/aimag.v34i2.2450.