Lower Bounds for Propositional Proofs and Independence Results in Bounded Arithmetic (Abstract).
Alexander A. RazborovPublished in: MFCS (1995)
Keyphrases
- lower bound
- upper bound
- branch and bound
- objective function
- first order logic
- branch and bound algorithm
- propositional logic
- lower and upper bounds
- conditional independence
- theorem proving
- higher level
- theorem prover
- np hard
- optimal solution
- high level
- vc dimension
- probabilistic logic
- knowledge compilation
- quadratic assignment problem
- search space
- independence assumption
- statistical relational learning
- arithmetic operations
- proof procedure