Tractable Combinations of Temporal CSPs.
Manuel BodirskyJohannes GreinerJakub RydvalPublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- hypertree decomposition
- temporal constraints
- constraint satisfaction problems
- interval algebra
- constraint propagation
- temporal reasoning
- spatial and temporal
- np complete
- path consistency
- spatio temporal
- temporal information
- temporal databases
- temporal consistency
- np hard
- temporal data
- constraint satisfaction
- arc consistency
- constraint networks
- backtracking algorithm
- decomposition methods
- tree decomposition
- data sets