Computing and Exploiting Tree-Decompositions for Solving Constraint Networks.
Philippe JégouSamba NdiayeCyril TerriouxPublished in: CP (2005)
Keyphrases
- tree decompositions
- tree decomposition
- constraint networks
- constraint satisfaction problems
- backtracking algorithm
- tree width
- complexity bounds
- temporal reasoning
- constraint satisfaction
- branch and bound
- arc consistency
- answer set programming
- path consistency
- series parallel
- temporal constraint networks
- decomposition method
- constraint propagation
- parallel processing
- constraint programming
- graph theory
- probabilistic reasoning
- combinatorial optimization
- image sequences
- interval algebra
- np complete
- search space