Validating SAT Solvers Using Independent Resolution-Based Checker (2003)

by L Zhang, S Malik
Venue:Practical Implementations and Other Applications DATE