Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- solving constraint satisfaction problems
- arc consistency
- constraint propagation
- ordering heuristics
- hypertree decomposition
- constraint networks
- symmetry breaking
- non binary
- search space
- constraint programming
- tree decomposition
- backtracking algorithm
- constraint problems
- distributed constraint satisfaction
- databases
- maintaining arc consistency
- forward checking
- path consistency
- global constraints
- space complexity
- artificial intelligence
- neural network