• DocumentCode
    311697
  • Title

    Ternary decision diagrams. Survey

  • Author

    Sasao, Tsutomu

  • Author_Institution
    Dept. of Comput. Sci. & Electron., Kyushu Inst. of Technol., Iizuka, Japan
  • fYear
    1997
  • fDate
    28-30 May 1997
  • Firstpage
    241
  • Lastpage
    250
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1997. Proceedings., 1997 27th International Symposium on
  • Conference_Location
    Antigonish, NS
  • Print_ISBN
    0-8186-7910-7
  • Type

    conf

  • DOI
    10.1109/ISMVL.1997.601404
  • Filename
    601404
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=311697