@article{brandl18jacm,
author="Florian Brandl and Felix Brandt and Manuel Eberl and Christian Geist",
title="Proving the Incompatibility of Efficiency and Strategyproofness via {SMT} Solving",
journal="Journal of the ACM",
issue_date = {March 2018},
volume = {65},
number = {2},
month = jan,
year = {2018},
issn = {0004-5411},
pages = {6:1--6:28},
articleno = {6},
numpages = {28},
doi = {10.1145/3125642},
acmid = {3125642},
publisher = {ACM},
address = {New York, NY, USA},
}