SAT sweeping with local observability don't-cares.

Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli

Browse the full DAC paper archive.