Enumerating types of Boolean functions.

Alasdair Urquhart

Published in: Bull. Symb. Log. (2009)

Keyphrases

boolean functions
uniform distribution
randomly generated
threshold functions
prime implicants
relevant variables
dnf formulae
membership queries
multi valued
prime implicates
functional properties
pseudo boolean functions
pac learning
disjunctive normal form
read once formulas