Dualization of boolean functions using ternary decision diagrams.

Published in: Ann. Math. Artif. Intell. (2017)

Keyphrases

boolean functions
decision diagrams
binary decision diagrams
multi valued
multiple valued
uniform distribution
dnf formulae
markov decision processes
membership queries
functional properties
digital circuits
logic synthesis
efficient computation
sufficient conditions
compressed data