Bounds on BDD-Based Bucket Elimination.

Published in: SAT (2023)

Keyphrases

bucket elimination
probabilistic inference
set bounds propagation
reasoning tasks
branch and bound
lower bound
upper bound
tree decomposition
graphical models
worst case
neural network
bayesian networks
belief networks
binary decision diagrams