Parametric Mechanism Design via Quantifier Elimination

Atsushi Iwasaki, Etsushi Fujita, Taiki Todo, Hidenao Iwane, Hirokazu Anai, Mingyu Guo, Makoto Yokoo. Parametric Mechanism Design via Quantifier Elimination. In Gerhard Weiss, Pinar Yolum, Rafael H. Bordini, Edith Elkind, editors, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. pages 1885-1886, ACM, 2015. [doi]

@inproceedings{IwasakiFTIAGY15,
  title = {Parametric Mechanism Design via Quantifier Elimination},
  author = {Atsushi Iwasaki and Etsushi Fujita and Taiki Todo and Hidenao Iwane and Hirokazu Anai and Mingyu Guo and Makoto Yokoo},
  year = {2015},
  url = {http://dl.acm.org/citation.cfm?id=2773486},
  researchr = {https://researchr.org/publication/IwasakiFTIAGY15},
  cites = {0},
  citedby = {0},
  pages = {1885-1886},
  booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015},
  editor = {Gerhard Weiss and Pinar Yolum and Rafael H. Bordini and Edith Elkind},
  publisher = {ACM},
  isbn = {978-1-4503-3413-6},
}