Dynamic Controllability and (J, K)-Resiliency in Generalized Constraint Networks with Uncertainty.
Matteo ZavatteriRomeo RizziTiziano VillaPublished in: ICAPS (2020)
Keyphrases
- constraint networks
- temporal reasoning
- temporal constraint networks
- constraint satisfaction problems
- tree decomposition
- constraint satisfaction
- backtracking algorithms
- path consistency
- set intersection
- backtracking algorithm
- search algorithm
- partial observability
- scene labeling
- tree width
- series parallel
- logic programs
- upper bound
- computational complexity