SAT-Based Automated Mechanism Design for False-Name-Proof Facility Location. - Nodoka Okada; Taiki Todo; Makoto Yokoo (PRIMA, 2019)

False-Name-Proof Facility Location on Discrete Structures. - Taiki Todo; Nodoka Okada; Makoto Yokoo (ECAI, 2020)