Login
- Title:
Proving the incompatibility of efficiency and strategyproofness via SMT solving
- Document type:
- Konferenzbeitrag
- Author(s):
- F. Brandl, F. Brandt, and C. Geist
- Book / Congress title:
- IJCAI'16 Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence
- Date of congress:
- July 09 - 15, 2016
- Year:
- 2016
- Pages:
- 116-122
- Print-ISBN:
- 978-1-57735-770-4
- Language:
- en
- WWW:
- dl.acm.org/citation.cfm?id=3060638
BibTeX