Hybrid decision diagrams

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 1995, Pages 159-163

  Clarke, E M ^a   Fujita, M ^a   Zhao, X ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DECISION THEORY; DIGITAL ARITHMETIC; DIGITAL CIRCUITS; VECTORS;

ARITHMETIC CIRCUITS; BINARY DECISION DIAGRAMS (BDD); HYBRID DECISION DIAGRAMS;

BOOLEAN FUNCTIONS;

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

References (9)