Heuristic Minimization of BDDs Using Don't Cares.

Thomas R. Shiple, Ramin Hojati, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton

Browse the full DAC paper archive.