Enforcing Solutions in Constraint Networks.
Éric GrégoireJean-Marie LagniezBertrand MazurePublished in: ECAI (2014)
Keyphrases
- constraint networks
- tree decomposition
- temporal reasoning
- constraint satisfaction problems
- singleton arc consistency
- arc consistency
- set intersection
- path consistency
- temporal constraint networks
- constraint satisfaction
- scene labeling
- constraint programming
- constraint optimization
- backtracking algorithms
- tree width
- backtracking algorithm
- complexity bounds
- series parallel
- global consistency
- max csp