A parallelization scheme based on work stealing for a class of SAT solvers
scientific article; zbMATH DE number 5000718