The quest for efficient Boolean Satisfiability Solvers. L.Zhang (2002)

by S Malik
Venue:Proc. of Computer Aided Verification