Katsirelos, G.; Sabharwal, A.; Samulowitz, H.; Simon, L. Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers. AAAI 2013, 27, 481-488.