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.- Sort by
- Weight
- Alphabetically
Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications
Lintao Zhang, Sharad Malik
Research output: Contribution to journal › Conference article › peer-review
152
Scopus
citations