Keyphrases
- logic programs
- constraint networks
- path consistency
- constraint satisfaction problems
- constraint problems
- arc consistency
- consistency checking
- constraint propagation
- constraint satisfaction
- hypertree decomposition
- temporal reasoning
- global constraints
- weighted constraint satisfaction
- constraint programming
- search space
- backtracking algorithm
- global consistency
- symmetry breaking
- non binary
- maintaining arc consistency
- constraint graph
- decomposition methods
- tree decomposition
- neural network
- disjunctive constraints
- computational complexity
- knowledge base