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