Considering circuit observability don't cares in CNF satisfiability
- Zhaohui Fu
- , Yinlei Yu
- , Sharad Malik
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
27
Link opens in a new tab
Scopus
citations