Tractable Combinations of Temporal CSPs.
Manuel BodirskyJohannes GreinerJakub RydvalPublished in: CoRR (2020)
Keyphrases
- hypertree decomposition
- temporal constraints
- constraint satisfaction problems
- interval algebra
- temporal information
- spatial and temporal
- spatio temporal
- np complete
- temporal reasoning
- temporal data
- constraint networks
- temporal databases
- computational complexity
- constraint propagation
- constraint satisfaction
- temporal relations
- path consistency
- non binary
- temporal consistency
- search space
- temporal characteristics
- computational problems
- temporal dimension
- constraint problems
- temporal behavior
- moving objects