Searching cubes for testing Boolean functions and its application to Trivium.

Meicheng Liu Dongdai Lin Wenhao Wang

Published in: ISIT (2015)

Keyphrases

boolean functions
uniform distribution
prime implicants
threshold functions
membership queries
relevant variables
read once formulas
functional properties
dnf formulae
binary decision diagrams
disjunctive normal form
linear threshold
bi decomposition
pseudo boolean functions
statistical queries