Florian Brandl, Felix Brandt 0001, Manuel Eberl, Christian Geist. Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving. Journal of the ACM, 65(2), 2018. [doi]
@article{BrandlBEG18, title = {Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving}, author = {Florian Brandl and Felix Brandt 0001 and Manuel Eberl and Christian Geist}, year = {2018}, doi = {10.1145/3125642}, url = {http://doi.acm.org/10.1145/3125642}, researchr = {https://researchr.org/publication/BrandlBEG18}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {65}, number = {2}, }