Nodoka Okada, Taiki Todo, Makoto Yokoo. SAT-Based Automated Mechanism Design for False-Name-Proof Facility Location. In Matteo Baldoni, Mehdi Dastani, Beishui Liao, Yuko Sakurai, Rym Zalila-Wenkstern, editors, PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings. Volume 11873 of Lecture Notes in Computer Science, pages 321-337, Springer, 2019. [doi]
Abstract is missing.