G. Katsirelos, A. Sabharwal, H. Samulowitz, and L. Simon, “Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers”, AAAI, vol. 27, no. 1, pp. 481-488, Jun. 2013.