Fingerprint
Dive into the research topics of 'A new approach to the use of satisfiability in false path detection'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A new approach to the use of satisfiability in false path detection
Felipe S. Marques, Renato P. Ribas, Sachin Sapatnekar, André I. Reis
Research output: Contribution to conference › Paper › peer-review
6
Scopus
citations