SAT sweeping with local observability don't-cares

Qi Zhu*, Nathan Kitchen, Andreas Kuehlmann, Alberto Sangiovanni-Vincentelli

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

58 Scopus citations

Fingerprint Dive into the research topics of 'SAT sweeping with local observability don't-cares'. Together they form a unique fingerprint.

Engineering & Materials Science