Checking Reversibility of Boolean Functions.

Robert Wille Aaron Lye Philipp Niemann

Published in: RC (2016)

Keyphrases

boolean functions
uniform distribution
threshold functions
prime implicants
dnf formulae
functional properties
relevant variables
disjunctive normal form
markov chain
bi decomposition
multi valued
dnf formulas
membership queries
polynomial size
statistical queries
read once formulas
lower bound
truth table