BDS: a BDD-based logic optimization system (2002)

by C Yang, M Ciesielski
Venue:IEEE Trans. on CAD