On the BDD of a Random Boolean Function.

Jean Vuillemin Frédéric Béal

Published in: ASIAN (2004)

Keyphrases

boolean functions
randomly generated
binary decision diagrams
uniform distribution
relevant variables
functional properties
membership queries
disjunctive normal form
lower bound
dnf formulas
functional decomposition
truth table
polynomial size