User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
F. Brandl, F. Brandt, and C. Geist 
Title:
Proving the incompatibility of efficiency and strategyproofness via SMT solving 
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