[1]
Y. Hamadi and C. Wintersteiger, “Seven Challenges in Parallel SAT Solving”, AIMag, vol. 34, no. 2, p. 99, Jun. 2013.