BibTeX record conf/aaai/0001K21a

download as .bib file

@inproceedings{DBLP:conf/aaai/0001K21a,
  author       = {David Speck and
                  Michael Katz},
  title        = {Symbolic Search for Oversubscription Planning},
  booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2021, Thirty-Third Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
                  2021},
  pages        = {11972--11980},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i13.17422},
  doi          = {10.1609/AAAI.V35I13.17422},
  timestamp    = {Mon, 04 Sep 2023 16:50:21 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/0001K21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}