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