Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving (Q4561492)
From MaRDI portal
scientific article; zbMATH DE number 6989802
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving |
scientific article; zbMATH DE number 6989802 |
Statements
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving (English)
0 references
6 December 2018
0 references
stochastic dominance
0 references
efficiency
0 references
strategyproofness
0 references
