Ternary decision diagrams. Survey

Proceedings 1997 27th International Symposium on Multiple- Valued Logic Pub Date : 1997-05-28 DOI:10.1109/ISMVL.1997.601404

Tsutomu Sasao

引用次数: 52

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.

查看原文本刊更多论文

三元决策图。调查

本文综述了7种类型的tdd: General-TDD、SOP-TDD、ESOP-TDD、and - tdd、prime-TDD、EXOR-TDD和Kleene-TDD。给出了sop - tdd和sop - tdd的新定义，并引入了统一的术语。在展示了一些关于复杂性的定理之后，我们使用基准函数比较了这些tdd的大小。最后，我们回顾了在tdd方面的重要工作。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings 1997 27th International Symposium on Multiple- Valued Logic

自引率

0.00%

发文量