Dualization of Boolean functions Using Ternary Decision Diagrams.

Published in: ISAIM (2014)

Keyphrases

boolean functions
decision diagrams
binary decision diagrams
multi valued
multiple valued
uniform distribution
markov decision processes
membership queries
functional properties
dnf formulae
planning problems
digital circuits
efficient computation
machine learning
graphical models
search space
database systems