Enumerative encoding of correlation-immune Boolean functions.

Nicolás Carrasco Jean-Marie Le Bars Alfredo Viola

Published in: Theor. Comput. Sci. (2013)

Keyphrases

boolean functions
uniform distribution
relevant variables
threshold functions
prime implicants
dnf formulae
functional properties
membership queries
linear threshold
multi valued
binary decision diagrams
integer programming
pac learning
bi decomposition
read once formulas
truth table