Hamadi, Youssef, and Christoph Wintersteiger. “Seven Challenges in Parallel SAT Solving”. AI Magazine 34, no. 2 (June 21, 2013): 99. Accessed May 29, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2450.