×
Brandl, Florian; Brandt, Felix; Eberl, Manuel; Geist, Christian

Proving the incompatibility of efficiency and strategyproofness via SMT solving. (English) Zbl 1425.68385

J. ACM 65, No. 2, Article No. 6, 28 p. (2018).

Cited in 10 Documents

MSC:

68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)

Keywords:

stochastic dominance; efficiency; strategyproofness

Software:

SMT-LIB; MathSAT5; Isabelle/HOL; SDS_Impossibility
Cite Review PDF
Full Text: DOI arXiv