Efficient breadth-first manipulation of binary decision diagrams

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn , Issue , 1994, Pages 622-627

  Ashar, Pranav ^a   Cheong, Matthew ^a  

^a NEC CORPORATION   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; DATA STORAGE EQUIPMENT; ITERATIVE METHODS; PERTURBATION TECHNIQUES; RECURSIVE FUNCTIONS;

BINARY DECISION DIAGRAMS; EFFICIENT BREADTH FIRST MANIPULATION; PHYSICAL MEMORY; RECURSIVE ALGORITHMS;

DECISION TABLES;

EID: 0028706737     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (7)