Approximating Boolean Functions by OBDDs.

André Gronemeier

Published in: MFCS (2004)

Keyphrases

boolean functions
uniform distribution
randomly generated
relevant variables
functional properties
threshold functions
linear threshold
prime implicants
multi valued
dnf formulae
disjunctive normal form
read once formulas
search algorithm
bi decomposition
membership queries
truth table