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

Knot Pipatsrisawat Adnan Darwiche A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT. 590-595 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-104.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#PipatsrisawatD09