A constraint-based approach to narrow search trees for satisfiability
scientific article; zbMATH DE number 1771697