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

Nodoka Okada Taiki Todo Makoto Yokoo

Published in: PRIMA (2019)

Keyphrases

mechanism design
facility location
strategy proof
combinatorial auctions
game theory
incomplete information
network design
integer programming
incentive compatible
mixed integer
auction mechanisms
multi criteria
lagrangian relaxation
multiple criteria
search algorithm
lot sizing
dynamic environments
lower bound