BibTeX record conf/aaai/ChoiD13

download as .bib file

@inproceedings{DBLP:conf/aaai/ChoiD13,
  author       = {Arthur Choi and
                  Adnan Darwiche},
  editor       = {Marie desJardins and
                  Michael L. Littman},
  title        = {Dynamic Minimization of Sentential Decision Diagrams},
  booktitle    = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
                  Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
  pages        = {187--194},
  publisher    = {{AAAI} Press},
  year         = {2013},
  url          = {https://doi.org/10.1609/aaai.v27i1.8690},
  doi          = {10.1609/AAAI.V27I1.8690},
  timestamp    = {Mon, 04 Sep 2023 16:50:23 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ChoiD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics