The quest for efficient boolean satisfiability solvers (2002)

by L Zhang, S Malik
Venue:In Proc. CAV’02, number 2404 in LNCS