TY  - RPRT
TI  - Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving
AU  - Florian Brandl
AU  - Felix Brandt
AU  - Manuel Eberl
AU  - Christian Geist
PY  - 2017
UR  - https://arxiv.org/abs/1604.05692
ID  - 1604.05692
ER  -