Title :
Efficient Breadth-first Manipulation Of Binary Decision Diagrams
Author :
Ashar, Pranav ; Cheong, Matthew
Keywords :
Boolean functions; Data structures; Delay; Iterative algorithms; Memory management; National electric code; Terminology;
Conference_Titel :
Computer-Aided Design, 1994., IEEE/ACM International Conference on
Print_ISBN :
0-8186-3010-8
DOI :
10.1109/ICCAD.1994.629886
