Data Structures for Boolean Functions.

Christoph Meinel Christian Stangier

Published in: Computational Discrete Mathematics (2001)

Keyphrases

boolean functions
data structure
uniform distribution
prime implicants
dnf formulae
threshold functions
relevant variables
membership queries
multi valued
linear threshold
functional properties
pseudo boolean functions
decision trees
disjunctive normal form
statistical queries
pac learning
heuristic search