Lower Bounds for Propositional Proofs and Independence Results in Bounded Arithmetic.
Alexander A. RazborovPublished in: ICALP (1996)
Keyphrases
- lower bound
- upper bound
- propositional logic
- branch and bound algorithm
- branch and bound
- objective function
- lower and upper bounds
- first order logic
- lower bounding
- optimal solution
- np hard
- theorem prover
- theorem proving
- floating point
- online algorithms
- multi valued
- upper and lower bounds
- quadratic assignment problem
- conditional independence
- worst case
- vc dimension
- arithmetic operations
- learning algorithm
- proof procedure
- linear programming relaxation
- max sat
- bayesian networks