Tree-Decompositions with Connected Clusters for Solving Constraint Networks.
Philippe JégouCyril TerriouxPublished in: CP (2014)
Keyphrases
- constraint networks
- tree decomposition
- tree decompositions
- backtracking algorithm
- constraint satisfaction problems
- complexity bounds
- temporal reasoning
- tree width
- constraint satisfaction
- temporal constraint networks
- series parallel
- path consistency
- probabilistic reasoning
- constraint programming
- constraint propagation
- parallel processing
- combinatorial optimization
- high level
- qualitative spatial and temporal reasoning
- branch and bound
- temporal information
- logic programming
- search algorithm
- answer set programming
- graph theory
- integrity constraints
- heuristic search
- social network analysis
- np complete
- np hard