Keyphrases
- constraint satisfaction problems
- lp relaxation
- constraint satisfaction
- np hard
- linear programming
- arc consistency
- lower bound
- constraint propagation
- hypertree decomposition
- mixed integer
- global constraints
- symmetry breaking
- solving constraint satisfaction problems
- constraint programming
- constraint networks
- non binary
- convex relaxation
- constraint problems
- linear program
- np complete
- search space
- partial constraint satisfaction
- tree decomposition
- temporal constraints
- integer programming
- temporal reasoning
- semidefinite
- multi valued
- decomposition methods
- column generation
- distributed constraint satisfaction
- message passing
- optimal solution