Enumerative encoding of correlation immune Boolean functions.

Nicolás Carrasco Jean-Marie Le Bars Alfredo Viola

Published in: ITW (2011)

Keyphrases

boolean functions
uniform distribution
dnf formulae
threshold functions
membership queries
integer programming
functional properties
prime implicants
relevant variables
bi decomposition
linear threshold
upper bound
read once formulas