Keyphrases
- constraint solving
- dynamic programming
- constraint logic programming
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- constraint solver
- greedy algorithm
- state space
- stereo matching
- single machine
- linear programming
- optimal policy
- sequence alignment
- constraint solvers
- database systems
- np complete