%0 Journal Article %1 journals/corr/BrandlBG16 %A Brandl, Florian %A Brandt, Felix %A Geist, Christian %D 2016 %J CoRR %K %T Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving. %U http://dblp.uni-trier.de/db/journals/corr/corr1604.html#BrandlBG16 %V abs/1604.05692

@article{journals/corr/BrandlBG16, added-at = {2023-12-13T02:30:33.000+0100}, author = {Brandl, Florian and Brandt, Felix and Geist, Christian}, biburl = {https://www.bibsonomy.org/bibtex/28271a3a813511396f61cfc120989d3d7/admin}, ee = {http://arxiv.org/abs/1604.05692}, interhash = {80193c95a01fc93ff6e3b2e0c49d403d}, intrahash = {8271a3a813511396f61cfc120989d3d7}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T02:30:33.000+0100}, title = {Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1604.html#BrandlBG16}, volume = {abs/1604.05692}, year = 2016 }