Keyphrases
- bucket elimination
- probabilistic inference
- set bounds propagation
- reasoning tasks
- branch and bound
- lower bound
- upper bound
- tree decomposition
- worst case
- automated reasoning
- probabilistic reasoning
- temporal reasoning
- graph theory
- neural network
- logic programming
- search algorithm
- optimal solution
- artificial intelligence