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

by Lintao Zhang, Sharad Malik
Venue:In Design, Automation and Test in Europe Conference