DMCA

Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications (2003)

by Lintao Zhang , Sharad Malik
Venue:IN PROCEEDINGS OF DATE
Citations:136 - 6 self