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

Cite

Text

Pipatsrisawat and Darwiche. "A New D-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT." International Joint Conference on Artificial Intelligence, 2009.

Markdown

[Pipatsrisawat and Darwiche. "A New D-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/pipatsrisawat2009ijcai-new/)

BibTeX

@inproceedings{pipatsrisawat2009ijcai-new,
  title     = {{A New D-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT}},
  author    = {Pipatsrisawat, Knot and Darwiche, Adnan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {590-595},
  url       = {https://mlanthology.org/ijcai/2009/pipatsrisawat2009ijcai-new/}
}