This paper surveys seven types of TDDs: General_TDD, SOP_TDD, ESOP_TDD, AND_TDD, prime_TDD, EXOR_TDD, and Kleen_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.
|Number of pages||10|
|Journal||Proceedings of The International Symposium on Multiple-Valued Logic|
|Publication status||Published - 1 Jan 1997|
|Event||Proceedings of the 1997 27th International Symposium on Multiple-Valued Logic - Antigonish, Can|
Duration: 28 May 1997 → 30 May 1997