Parallel cooperative propositional theorem proving
parallel satisfiability testing algorithm
scientific article; zbMATH DE number 1456916