@inproceedings{ijcai2009p104, title = {A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT}, author = {Pipatsrisawat, Knot and Darwiche, Adnan}, booktitle = {Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, {IJCAI-09}}, publisher = {International Joint Conferences on Artificial Intelligence}, editor = {Hiroaki Kitano}, pages = {590--594}, year = {2009}, url = {https://ijcai.org/proceedings/2009/104}, }