Space- and time-efficient BDD construction via working set control

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn , Issue , 1998, Pages 423-432

  Yang, Bwolen ^a   Chen, Yirng An ^a   Bryant, Randal E ^a   O'Hallaron, David R ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY;

BINARY DECISION DIAGRAMS (BDD);

ELECTRIC NETWORK ANALYSIS;

EID: 0032218635     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (22)