The Quest for Efficient Boolean Satisfiability Solvers.

Lintao Zhang, Sharad Malik

Browse the full CAV paper archive.