Search vs. symbolic techniques in satisfiability solving (2004)

by G Pan, M Vardi
Venue:In The Seventh International Conference on Theory and Applications of Satisfiability Testing