Safe BDD Minimization Using Don't Cares.

Youpyo Hong, Peter A. Beerel, Jerry R. Burch, Kenneth L. McMillan

Browse the full DAC paper archive.