SAT-Based Automated Mechanism Design for False-Name-Proof Facility Location.

Nodoka Okada, Taiki Todo, Makoto Yokoo

Browse the full PRIMA paper archive.