A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers.

Bernard Jurkowiak Chu Min Li Gil Utard A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers. 73-101 2005 34 J. Autom. Reasoning 1 http://dx.doi.org/10.1007/s10817-005-1970-7 db/journals/jar/jar34.html#JurkowiakLU05