BibTeX record conf/aaai/ParczykP0S23

• > Home > conf/aaai/ParczykP0S23

@inproceedings{DBLP:conf/aaai/ParczykP0S23,
  author       = {Olaf Parczyk and
                  Sebastian Pokutta and
                  Christoph Spiegel and
                  Tibor Szab{\'{o}}},
  editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {Fully Computer-Assisted Proofs in Extremal Combinatorics},
  booktitle    = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2023, Thirty-Fifth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
                  7-14, 2023},
  pages        = {12482--12490},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aaai.v37i10.26470},
  doi          = {10.1609/AAAI.V37I10.26470},
  timestamp    = {Mon, 04 Sep 2023 16:50:26 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ParczykP0S23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}