Embedding of Large Boolean Functions for Reversible Logic.
Mathias SoekenRobert WilleOliver KeszöczeD. Michael MillerRolf DrechslerPublished in: ACM J. Emerg. Technol. Comput. Syst. (2016)
Keyphrases
- boolean functions
- multi valued
- truth table
- uniform distribution
- reversible watermarking
- binary decision diagrams
- prime implicants
- cellular automata
- threshold functions
- functional properties
- automated reasoning
- membership queries
- modal logic
- bi decomposition
- logic programming
- dnf formulae
- markov chain
- polynomial size
- dnf formulas
- logic synthesis
- read once formulas
- linear threshold
- abductive reasoning
- probability theory
- state space