An Edge Deletion Semantics for Belief Propagation
bucket elimination : a unifying framework for probabilistic inference .