Login / Signup
Binary-decision-diagram-based decomposition of Boolean functions into reversible logic elements.
Jia Lee
Ya-Hui Ye
Xin Huang
Rui-Long Yang
Published in:
Theor. Comput. Sci. (2020)
Keyphrases
</>
binary decision diagrams
boolean functions
bi decomposition
multi valued
randomly generated
uniform distribution
decision diagrams
truth table
functional properties
dnf formulas
membership queries
boolean formula
dnf formulae
database
model checking
logic programming
association rules
lower bound
machine learning