Lower Bounds for the Lengths of Refutations.
Hai-Ping KoDavid A. McAllesterMark E. NadelPublished in: J. Log. Program. (1993)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- branch and bound
- lower and upper bounds
- objective function
- np hard
- optimal solution
- running times
- lagrangian relaxation
- upper and lower bounds
- worst case
- randomly generated problems
- quadratic assignment problem
- vc dimension
- theorem prover
- data structure
- online algorithms
- similarity measure
- neural network
- lower bounding
- data sets