BibTeX record conf/ijcai/BrandlBG16

download as .bib file

@inproceedings{DBLP:conf/ijcai/BrandlBG16,
  author       = {Florian Brandl and
                  Felix Brandt and
                  Christian Geist},
  editor       = {Subbarao Kambhampati},
  title        = {Proving the Incompatibility of Efficiency and Strategyproofness via
                  {SMT} Solving},
  booktitle    = {Proceedings of the Twenty-Fifth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
                  2016},
  pages        = {116--122},
  publisher    = {{IJCAI/AAAI} Press},
  year         = {2016},
  url          = {http://www.ijcai.org/Abstract/16/024},
  timestamp    = {Tue, 20 Aug 2019 16:19:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BrandlBG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}