Keyphrases
- lower bound
- upper bound
- worst case
- theorem prover
- computational complexity
- average case complexity
- objective function
- decision problems
- theorem proving
- space complexity
- complexity measures
- knowledge base
- computational cost
- np hard
- data sets
- branch and bound
- branch and bound algorithm
- similarity measure
- lower and upper bounds
- complexity analysis
- linear programming relaxation