The Quest for Efficient Boolean Satisfiability Solvers (2002)

by Lintao Zhang , Sharad Malik
Citations:125 - 2 self