Variable orderings and the size of OBDDs for random partially symmetric Boolean functions.
Detlef SielingPublished in: Random Struct. Algorithms (1998)
Keyphrases
- decision trees
- boolean functions
- randomly generated
- polynomial size
- linear functions
- uniform distribution
- prime implicants
- threshold functions
- dnf formulae
- membership queries
- functional properties
- relevant variables
- bounded treewidth
- multi valued
- binary decision diagrams
- dnf formulas
- linear threshold
- disjunctive normal form
- read once formulas
- truth table