Extracting MUCs from Constraint Networks.
Fred HemeryChristophe LecoutreLakhdar SaisFrédéric BoussemartPublished in: ECAI (2006)
Keyphrases
- constraint networks
- temporal reasoning
- tree decomposition
- temporal constraint networks
- constraint satisfaction problems
- constraint satisfaction
- constraint optimization
- path consistency
- constraint programming
- set intersection
- scene labeling
- tree width
- backtracking algorithm
- arc consistency
- backtracking algorithms
- complexity bounds
- qualitative spatial and temporal reasoning
- dynamic programming
- series parallel
- temporal constraints
- upper bound