The Decomposition Tree for analyses of Boolean functions.
Maik FriedelSwetlana NikolajewaThomas WilhelmPublished in: Math. Struct. Comput. Sci. (2008)
Keyphrases
- boolean functions
- bi decomposition
- functional decomposition
- uniform distribution
- tree structure
- prime implicants
- threshold functions
- relevant variables
- multi valued
- membership queries
- dnf formulae
- polynomial size
- disjunctive normal form
- decomposition method
- read once formulas
- pseudo boolean functions
- truth table
- lower bound
- linear threshold
- heuristic search
- relational databases