User: Guest  Login
Title:

Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving

Document type:
Zeitschriftenaufsatz
Author(s):
Brandl, Florian; Brandt, Felix; Eberl, Manuel; Geist, Christian
Journal title:
Journal of the ACM
Year:
2018
Journal volume:
65
Journal issue:
2
Pages contribution:
1-28
Fulltext / DOI:
doi:10.1145/3125642
Publisher:
Association for Computing Machinery (ACM)
E-ISSN:
0004-5411
Date of publication:
31.01.2018
 BibTeX