Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP.
Simon de GivryThomas SchiexGérard VerfailliePublished in: AAAI (2006)
Keyphrases
- tree decomposition
- constraint networks
- tree width
- constraint satisfaction problems
- decomposition method
- tree decompositions
- path consistency
- probabilistic reasoning
- temporal reasoning
- constraint satisfaction
- parallel processing
- graph theory
- answer set programming
- arc consistency
- decomposition methods
- reasoning problems
- branch and bound
- constraint programming
- databases
- constraint graph
- genetic algorithm
- object oriented
- np hard