Evaluation of multiple-output logic functions using decision diagrams.

Yukihiro Iguchi Tsutomu Sasao Munehiro Matsuura

Published in: ASP-DAC (2003)

Keyphrases

decision diagrams
multi valued
multiple output
digital circuits
binary decision diagrams
multiple input
efficient computation
data structure
machine learning
association rules
logic programming
model based diagnosis