A constrained-based approach to narrow search for Satisfiability // Information processing letters.-1999 (0)

by C M Li