The quest for efficient boolean satisfiability solvers (2002)

by Lintao Zhang, Sharad Malik
Venue:In Computer Aided Verification