Keyphrases
- tree decomposition
- tree width
- constraint networks
- decomposition method
- probabilistic reasoning
- parallel processing
- graph theory
- branch and bound
- constraint satisfaction problems
- answer set programming
- decomposition methods
- series parallel
- tree decompositions
- temporal reasoning
- general purpose
- logic programs
- simulated annealing
- lower bound
- bayesian networks