The Conjunctive Complexity of Quadratic Boolean Functions.
Katja LenzIngo WegenerPublished in: CSL (1987)
Keyphrases
- boolean functions
- pseudo boolean functions
- disjunctive normal form
- uniform distribution
- computational complexity
- threshold functions
- polynomial size
- membership queries
- linear threshold
- linear functions
- binary decision diagrams
- worst case
- prime implicants
- dnf formulae
- relevant variables
- multi valued
- functional properties
- bounded treewidth
- statistical queries
- search space
- bi decomposition
- objective function