A Quaternary Decision Diagram Machine and the Optimization of its Code

We show the advantage of Quarternary Decision Diagrams (QDDs) in representing and evaluating logic functions. That is, we show how QDDs are used to implement QDD machines, which yield high-speed implementations. We compare QDD machines with binary decision diagram

• Type: Conference
• Year: 2009
• Where: ISMVL
• Authors: Tsutomu Sasao, Hiroki Nakahara, Munehiro Matsuura, Yoshifumi Kawamura, Jon T. Butler
• Keywords: Artificial Intelligence, Decision Diagram, ISMVL 2009, QDD Machines, Quarternary Decision Diagrams