Multiple-valued logic synthesis and optimization
Logic Synthesis and Verification
Information Content of the Ternary Decision Diagrams
Automation and Remote Control
Abstraction-Based Model Checking Using Modal Transition Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Model Checking Partial State Spaces with 3-Valued Temporal Logics
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
XML Framework for Various Types of Decision Diagrams for Discrete Functions
IEICE - Transactions on Information and Systems
Analysis of circuit dynamic behavior with timed ternary decision diagram
Proceedings of the International Conference on Computer-Aided Design
A framework for the modular specification and orchestration of authorization policies
NordSec'10 Proceedings of the 15th Nordic conference on Information Security Technology for Applications
Hi-index | 0.01 |
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.