The Quest for Efficient Boolean Satisfiability Solvers (2002)

by L Zhang, S Malik
Venue:In Proceedings of the 18th International Conference on Automated Deduction