(1)
Hamadi, Y.; Wintersteiger, C. Seven Challenges in Parallel SAT Solving. AIMag 2013, 34, 99.