A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT
A machine program for theorem-proving