Hamadi, Y., and C. Wintersteiger. “Seven Challenges in Parallel SAT Solving”. AI Magazine, vol. 34, no. 2, June 2013, p. 99, doi:10.1609/aimag.v34i2.2450.