Efficient Breadth-First Manipulation of Binary Decision Diagrams (1994)

by P Ashar, M Cheong
Venue:In Proceedings 32th ACM/IEEE Design Automation Conference, DAC’94