Login / Signup
Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions.
Xuanxiang Huang
Kehang Fang
Liangda Fang
Qingliang Chen
Zhao-Rong Lai
Linfeng Wei
Published in:
AAAI (2019)
Keyphrases
</>
boolean functions
canonical representation
decision diagrams
multiple valued
binary decision diagrams
functional properties
multi valued
uniform distribution
dnf formulae
bayesian networks
markov decision processes
np hard
constraint satisfaction problems
data flow
efficient computation
digital circuits