Structured Decomposition for Reversible Boolean Functions.
Jiaqing JiangXiaoming SunYuan SunKewen WuZhiyu XiaPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)
Keyphrases
- boolean functions
- bi decomposition
- functional decomposition
- uniform distribution
- multi valued
- threshold functions
- markov chain
- prime implicants
- cellular automata
- dnf formulae
- relevant variables
- membership queries
- polynomial size
- decomposition methods
- read once formulas
- decomposition method
- linear threshold
- binary decision diagrams