Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- objective function
- theorem proving
- branch and bound
- np hard
- consequence finding
- low resolution
- high resolution
- worst case
- optimal solution
- lower bounding
- optimal cost
- natural language
- theorem prover
- lower and upper bounds
- inductive inference
- upper and lower bounds
- quadratic assignment problem
- vc dimension
- sampling rate
- concept class
- randomly generated problems
- data sets