Keyphrases
- constraint networks
- constraint language
- tree decomposition
- temporal reasoning
- constraint satisfaction problems
- path consistency
- temporal constraint networks
- constraint satisfaction
- set intersection
- scene labeling
- constraint programming
- arc consistency
- tree width
- backtracking algorithms
- modal logic
- automated reasoning
- complexity bounds
- backtracking algorithm
- upper bound
- answer set programming
- probabilistic inference
- temporal information
- max csp