Keyphrases
- constraint satisfaction problems
- constraint problems
- constraint satisfaction
- dynamic constraint satisfaction problems
- partial constraint satisfaction
- finite domain
- constraint optimization
- disjunctive temporal
- graph coloring
- np complete
- backtracking algorithm
- solving constraint satisfaction problems
- constraint programming
- constraint solving
- finding optimal solutions
- np hard
- sat encodings
- forward checking
- dynamic programming
- constraint networks
- constraint propagation
- heuristic search