A competitive and cooperative approach to propositional satisfiability
scientific article; zbMATH DE number 5083140