Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving
From MaRDI portal
Publication:4561492
DOI10.1145/3125642zbMath1425.68385arXiv1604.05692OpenAlexW2787389506MaRDI QIDQ4561492
Florian Brandl, Christian Geist, Felix Brandt, Manuel Eberl
Publication date: 6 December 2018
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1604.05692
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Voting theory in the Lean theorem prover ⋮ On the tradeoff between efficiency and strategyproofness ⋮ On the Indecisiveness of Kelly-Strategyproof Social Choice Functions ⋮ An analytical and experimental comparison of maximal lottery schemes ⋮ Strategyproof social choice when preferences and outcomes may contain ties ⋮ Portioning using ordinal preferences: fairness and efficiency ⋮ Incentives in social decision schemes with pairwise comparison preferences ⋮ Unanimous and Strategy-Proof Probabilistic Rules for Single-Peaked Preference Profiles on Graphs
Uses Software
This page was built for publication: Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving
