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