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