Keyphrases
- backtracking algorithms
- search algorithm
- constraint propagation
- constraint networks
- constraint satisfaction problems
- path consistency
- constraint satisfaction
- non binary
- orders of magnitude
- backtracking search
- heuristic search
- forward checking
- temporal reasoning
- search tree
- temporal constraints
- constraint programming
- search space
- satisfiability problem
- branch and bound
- spatial information
- np complete
- computational complexity