An Exponential Lower Bound for Homogeneous Depth Four Arithmetic Formulas.
Neeraj KayalNutan LimayeChandan SahaSrikanth SrinivasanPublished in: FOCS (2014)
Keyphrases
- lower bound
- upper bound
- average case complexity
- branch and bound algorithm
- objective function
- np hard
- branch and bound
- depth information
- optimal solution
- quantifier free
- lower bounding
- depth map
- lower and upper bounds
- upper and lower bounds
- competitive ratio
- worst case
- horn clauses
- lagrangian relaxation
- online learning
- search space
- floating point
- max sat