A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT.

Knot Pipatsrisawat, Adnan Darwiche

Browse the full IJCAI paper archive.