Keyphrases
- lower bound
- constraint satisfaction problems
- np hard
- random instances
- upper bound
- semidefinite programming
- branch and bound
- branch and bound algorithm
- tree decomposition
- finding optimal solutions
- linear programming
- objective function
- decomposition methods
- inductive inference
- theorem proving
- semi definite programming
- constraint satisfaction
- lower and upper bounds
- arc consistency
- semidefinite program
- optimal solution
- theorem prover
- worst case
- integer programming
- constraint propagation
- linear program
- hierarchical structure
- stochastic dynamic programming
- constraint networks
- classical logic
- closest string
- feature space
- special case
- scheduling problem
- automated theorem proving
- np complete
- online algorithms
- distance metric
- semidefinite
- constraint programming
- feasible solution
- approximation algorithms