User: Guest  Login
Document type:
Zeitschriftenaufsatz 
Author(s):
Brandl, Florian; Brandt, Felix; Eberl, Manuel; Geist, Christian 
Title:
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving 
Journal title:
Journal of the ACM 
Year:
2018 
Journal volume:
65 
Journal issue:
Pages contribution:
1-28 
Fulltext / DOI:
Publisher:
Association for Computing Machinery (ACM) 
E-ISSN:
0004-5411 
Date of publication:
31.01.2018