On the construction of multiple-valued decision diagrams

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 2002, Pages 245-253

  Miller, D Michael ^a   Drechsler, Rolf ^a  

^a UNIVERSITY OF VICTORIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONS; GRAPH THEORY; MANY VALUED LOGICS; PROBLEM SOLVING;

LOGIC FUNCTIONS; MULTIPLE-VALUED DECISION DIAGRAMS;

DECISION TABLES;

EID: 0036080140     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Efficient implementation of a BDD package
2. Graph-based algorithms for Boolean function manipulation
3. Binary decision diagrams in theory and practice
4. Fast and efficient equivalence checking based on NAND-BDDs
5. MORE: Alternative implementation of BDD packages by multi-operand synthesis
6. Reordering based synthesis
7. On the OBDD representation of general Boolean functions
8. Multiple-valued logic design tools
9. Implementating a multiple-valued decision diagram package
10. Shared binary decision diagrams with attributed edges for efficient Boolean function manipulation
11. Graph-based representations of discrete functions
12. Dynamic variable ordering for ordered binary decision diagrams
13. CUDD: CU decision diagram package
14. Efficient manipulation of decision diagrams
15. Algorithms for discrete function manipulation
16. VIS: A system for verification and synthesis