Algebraic decision diagrams and their applications

Volumn , Issue , 1993, Pages 188-191

  Bahar, R Iris ^a   Frohm, Erica A ^a   Gaona, Charles M ^a   Hachtel, Gary D ^a   Macii, Enrico ^a   Pardo, Abelardo ^a   Somenzi, Fabio ^a  

^a UNIVERSITY OF COLORADO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; COMPUTATION THEORY; DECISION TABLES; FUNCTION EVALUATION; GRAPH THEORY; MATRIX ALGEBRA; THEOREM PROVING;

ALGEBRAIC DECISION DIAGRAMS; GRAPH ALGORITHMS;

DECISION THEORY;

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

References (15)