Keyphrases
- lower bound
- upper bound
- theorem proving
- objective function
- high resolution
- consequence finding
- branch and bound
- branch and bound algorithm
- lower and upper bounds
- worst case
- optimal solution
- np hard
- neural network
- low resolution
- randomly generated problems
- lower bounding
- inductive inference
- natural language
- genetic algorithm
- vc dimension
- theorem prover
- maximum likelihood