Brandl et al. "Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving." International Joint Conference on Artificial Intelligence, 2016.
Markdown
[Brandl et al. "Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/brandl2016ijcai-proving/)
BibTeX
@inproceedings{brandl2016ijcai-proving,
title = {{Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving}},
author = {Brandl, Florian and Brandt, Felix and Geist, Christian},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {116-122},
url = {https://mlanthology.org/ijcai/2016/brandl2016ijcai-proving/}
}