On the Size of Randomized OBDDs and Read-Once Branching Programs for k-Stable Functions.

Martin Sauerhoff

Published in: STACS (1999)

Keyphrases

boolean functions
data sets
decision trees
case study
search space
basis functions
maximum number
small size
decision diagrams
read once formulas