Seven Challenges in Parallel SAT Solving. - Hamadi, Youssef; Wintersteiger, Christoph M. (AI Mag., 2013)