Efficient breadth-first manipulation of Binary Decision Diagrams (1994)

by P Ashar, M Cheong
Venue:In Proc. International Conference on CAD