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