Title :
Ternary decision diagrams. Survey
Author_Institution :
Dept. of Comput. Sci. & Electron., Kyushu Inst. of Technol., Iizuka, Japan
Abstract :
This paper surveys seven types of TDDs: General-TDD, SOP-TDD, ESOP-TDD, AND-TDD, prime-TDD, EXOR-TDD, and Kleene-TDD. We give new definitions for SOP-TDDs and ESOP-TDDs and introduce unifying terminology. After showing some theorems on complexities, we compare the sizes of these TDDs using benchmark functions. Finally, we review important works on TDDs
Keywords :
computational complexity; ternary logic; AND-TDD; ESOP-TDD; EXOR-TDD; General-TDD; Kleene-TDD; SOP-TDD; benchmark functions; complexities; prime-TDD; ternary decision diagrams; Binary decision diagrams; Boolean functions; Computer science; Data structures; Decision trees; Logic functions; Multivalued logic; Terminology;
Conference_Titel :
Multiple-Valued Logic, 1997. Proceedings., 1997 27th International Symposium on
Conference_Location :
Antigonish, NS
Print_ISBN :
0-8186-7910-7
DOI :
10.1109/ISMVL.1997.601404
