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

Lintao Zhang, Sharad Malik

Research output: Contribution to journalConference articlepeer-review

193 Scopus citations

Fingerprint

Dive into the research topics of 'Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications'. Together they form a unique fingerprint.

Engineering & Materials Science