![](/img/cover-not-exists.png)
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving
Brandl, Florian, Brandt, Felix, Eberl, Manuel, Geist, ChristianVolume:
65
Language:
english
Journal:
Journal of the ACM
DOI:
10.1145/3125642
Date:
January, 2018
File:
PDF, 1.09 MB
english, 2018