BibTeX record conf/kr/ColnetM21

download as .bib file

@inproceedings{DBLP:conf/kr/ColnetM21,
  author       = {Alexis de Colnet and
                  Stefan Mengel},
  editor       = {Meghyn Bienvenu and
                  Gerhard Lakemeyer and
                  Esra Erdem},
  title        = {A Compilation of Succinctness Results for Arithmetic Circuits},
  booktitle    = {Proceedings of the 18th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2021, Online event, November
                  3-12, 2021},
  pages        = {205--215},
  year         = {2021},
  url          = {https://doi.org/10.24963/kr.2021/20},
  doi          = {10.24963/KR.2021/20},
  timestamp    = {Wed, 03 Nov 2021 12:47:32 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/ColnetM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics