A Time-Space Trade-Off for Constraint Networks Decomposition.
Philippe JégouCyril TerriouxPublished in: ICTAI (2004)
Keyphrases
- constraint networks
- trade off
- tree decomposition
- temporal reasoning
- constraint satisfaction
- tree width
- constraint satisfaction problems
- decomposition method
- path consistency
- temporal constraint networks
- branch and bound
- set intersection
- constraint optimization
- backtracking algorithms
- arc consistency
- special case
- probabilistic reasoning
- search algorithm
- scene labeling
- backtracking algorithm
- complexity bounds
- constraint propagation
- parallel processing
- constraint programming
- search space