Tuomas Sandholm
Theory of Expressiveness in Mechanism Design, with Uses in Combinatorial Auctions and Sponsored Search

In many mechanism design settings it has been observed that increasing the expressiveness of the participants increases efficiency in practice. We show this holds generally: we derive a domain-independent upper bound on efficiency, which increases with expressiveness. We present instantiations in combinatorial auctions and sponsored search, with some experiments.