Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- quantified boolean formulas
- branch and bound
- lower and upper bounds
- objective function
- worst case
- np hard
- upper and lower bounds
- lower bounding
- optimal cost
- quantified boolean formulae
- quadratic assignment problem
- linear programming
- optimal solution
- linear programming relaxation
- max sat
- special case