Keyphrases
- global consistency
- constraint logic programming
- globally consistent
- set intersection
- path consistency
- temporal constraints
- temporal reasoning
- constraint programming
- convex constraints
- constraint propagation
- constraint solving
- logic programming
- consistency checking
- tractable subclasses
- global information
- answer set programming
- candidate matches
- relational databases