Interleaving based variable ordering methods for ordered binary decision diagrams

Volumn , Issue , 1993, Pages 38-41

  Fujii, Hiroshige ^a   Ootomo, Goichi ^a   Hori, Chikahiro ^a  

^a TOSHIBA CORPORATION   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BINARY SEQUENCES; BODE DIAGRAMS; BOOLEAN FUNCTIONS; COMPUTATIONAL COMPLEXITY; COMPUTER AIDED DESIGN; ELECTRIC NETWORK TOPOLOGY; HEURISTIC METHODS;

INTERLEAVING BASED VARIABLE ORDERING METHODS; ORDERED BINARY DECISION DIAGRAMS;

DECISION TABLES;

EID: 0027800929     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)