On Verification of Restricted Extended Affine Equivalence of Vectorial Boolean Functions.

Ferruh Özbudak Ahmet Sinak Oguz Yayla

Published in: WAIFI (2014)

Keyphrases

boolean functions
uniform distribution
prime implicants
threshold functions
dnf formulae
functional properties
model checking
multi valued
binary decision diagrams
relevant variables
statistical queries
polynomial size
read once formulas
linear threshold
bi decomposition