Katsirelos, G., A. Sabharwal, H. Samulowitz, and L. Simon. “Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 27, no. 1, June 2013, pp. 481-8, doi:10.1609/aaai.v27i1.8660.