FINDING THE OPTIMAL VARIABLE ORDERING FOR BINARY DECISION DIAGRAMS.

Proceedings - Design Automation Conference

Volumn , Issue , 1987, Pages 348-356

  Friedman, Steven J ^a   Supowit, Kenneth J ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING - ALGORITHMS; LOGIC CIRCUITS; MATHEMATICAL TECHNIQUES - TREES;

BINARY DECISION DIAGRAMS; DIFFERENTIAL CASCODE VOLTAGE SWITCH TREES; OPTIMAL VARIABLE ORDERING; TIME COMPLEXITY;

COMPUTER METATHEORY;

EID: 0023170999     PISSN: 01467123     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/37888.37941     Document Type: Conference Paper

References (11)