Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving.
Autor: | Brandl, Florian, Brandt, Felix, Eberl, Manuel, Geist, Christian |
---|---|
Zdroj: | Journal of the ACM. Jan2018, Vol. 65 Issue 2, p1-28. 28p. |
Databáze: | Business Source Ultimate |
Externí odkaz: |