Login
- Titel:
Proving the incompatibility of efficiency and strategyproofness via SMT solving
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- F. Brandl, F. Brandt, and C. Geist
- Kongress- / Buchtitel:
- IJCAI'16 Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence
- Datum der Konferenz:
- July 09 - 15, 2016
- Jahr:
- 2016
- Seiten:
- 116-122
- Print-ISBN:
- 978-1-57735-770-4
- Sprache:
- en
- WWW:
- dl.acm.org/citation.cfm?id=3060638
BibTeX