Keyphrases
- constraint satisfaction problems
- backtrack search
- constraint satisfaction
- constraint programming
- combinatorial optimization
- search space
- np complete
- highly efficient
- first order logic
- optimization problems
- search algorithm
- traveling salesman problem
- temporal logic
- temporal reasoning
- sat solvers
- search problems
- solving hard