A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT
bucket elimination : a unifying framework for probabilistic inference .