Picture for Manuel Eberl

Manuel Eberl

Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving

Add code
Sep 06, 2017
Viaarxiv icon