Partitioning methods for satisfiability testing on large formulas
scientific article; zbMATH DE number 1853129