Benutzer: Gast  Login
Titel:

Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving

Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
Brandl, Florian; Brandt, Felix; Eberl, Manuel; Geist, Christian
Zeitschriftentitel:
Journal of the ACM
Jahr:
2018
Band / Volume:
65
Heft / Issue:
2
Seitenangaben Beitrag:
1-28
Volltext / DOI:
doi:10.1145/3125642
Verlag / Institution:
Association for Computing Machinery (ACM)
E-ISSN:
0004-5411
Publikationsdatum:
31.01.2018
 BibTeX