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

153 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