A constrained-based approach to narrow search trees for satisfiability, Information processing letters (1999)

by C M Li