Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- branch and bound
- objective function
- optimal solution
- np hard
- lower bounding
- quadratic assignment problem
- theorem prover
- lower and upper bounds
- linear logic
- upper and lower bounds
- theorem proving
- max sat
- linear programming relaxation
- concept class
- vc dimension
- worst case
- optimal cost
- polynomial approximation
- mathematical proofs