Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- branch and bound
- objective function
- optimal solution
- np hard
- lower bounding
- modal logic
- multi valued
- lower and upper bounds
- truth table
- logic programming
- genetic algorithm
- worst case
- lagrangian relaxation
- classical logic
- asynchronous circuits
- sufficiently accurate
- temporal logic
- linear programming
- upper and lower bounds
- automated reasoning
- programming language
- computational properties
- polynomial approximation
- sound and complete axiomatization