Fingerprint
Dive into the research topics of 'Boolean Satisfiability Solvers and Their Applications in Model Checking'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Boolean Satisfiability Solvers and Their Applications in Model Checking
Yakir Vizel, Georg Weissenbacher, Sharad Malik
Research output: Contribution to journal › Article › peer-review
92
Scopus
citations