Keyphrases
- constraint satisfaction problems
- symmetry breaking
- constraint satisfaction
- constraint propagation
- hypertree decomposition
- search space
- solving constraint satisfaction problems
- np complete
- constraint programming
- arc consistency
- np hard
- global constraints
- constraint networks
- real time
- backtracking search
- partial constraint satisfaction
- constraint problems
- decomposition methods
- soft constraints
- temporal constraints
- optimal solution
- case study
- genetic algorithm