Embedding of Large Boolean Functions for Reversible Logic.
Mathias SoekenRobert WilleOliver KeszöczeD. Michael MillerRolf DrechslerPublished in: CoRR (2014)
Keyphrases
- boolean functions
- multi valued
- truth table
- uniform distribution
- binary decision diagrams
- reversible watermarking
- bi decomposition
- prime implicants
- dnf formulae
- threshold functions
- markov chain
- functional properties
- cellular automata
- logic programming
- relevant variables
- disjunctive normal form
- membership queries
- modal logic
- statistical queries
- linear threshold
- polynomial size
- pac learning
- logic synthesis
- read once formulas
- description logics