Validating SAT Solvers Using an Independent Resolution-Based Checker: Practical Implementations and Other Applications.

Lintao Zhang, Sharad Malik

Browse the full DATE paper archive.