Lower bound results on lengths of second-order formulas.
Bruno ScarpelliniPublished in: Ann. Pure Appl. Log. (1985)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- lower and upper bounds
- objective function
- branch and bound
- higher order
- np hard
- worst case
- finite sets
- optimal solution
- upper and lower bounds
- lower bounding
- hessian matrix
- mathematical formulas
- constant factor
- knowledge base
- linear programming relaxation
- high order
- neural network
- online algorithms
- max sat
- randomized algorithm
- horn clauses
- polynomial approximation