Keyphrases
- constraint solving
- constraint propagation
- interval arithmetic
- constraint satisfaction problems
- constraint logic programming
- constraint satisfaction
- constraint programming
- temporal constraints
- constraint solver
- search space
- tree search
- real numbers
- linear programming
- floating point
- database design
- sufficient conditions
- image sequences
- d objects
- relational databases