Search vs. symbolic techniques in satisfiability solving (2004)

by Guoqiang Pan , Moshe Y. Vardi
Venue:in Proceedings 7th International Conference on Theory and Applications of Satisfiability Testing
Citations:18 - 3 self