Katsirelos G, Sabharwal A, Samulowitz H, Simon L. Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers. AAAI [Internet]. 2013Jun.30 [cited 2024May10];27(1):481-8. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/8660