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