Hilbert Function and Complexity Lower Bounds for Symmetric Boolean Functions.
Anna BernasconiLavinia EgidiPublished in: Inf. Comput. (1999)
Keyphrases
- boolean functions
- bi decomposition
- lower bound
- multi valued
- polynomial size
- uniform distribution
- pseudo boolean functions
- worst case
- truth table
- upper bound
- threshold functions
- linear functions
- statistical queries
- prime implicants
- membership queries
- relevant variables
- branch and bound
- functional properties
- read once formulas
- binary decision diagrams
- dnf formulae
- np hard
- upper and lower bounds
- computational complexity
- decision problems
- linear threshold
- objective function
- branch and bound algorithm
- max sat
- disjunctive normal form
- search algorithm
- optimal solution