Multi-level Logic Simplification Using Don't Cares and Filters.

Alexander Saldanha, Albert R. Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Browse the full DAC paper archive.