"Border's theorem"

A Constructive Approach to Reduced-Form Auctions with Applications to Multi-Item Mechanism Design
We provide a constructive proof of Border’s theorem and its generalization to reduced-form auctions with asymmetric bidders. …
PDF arXiv
An Algorithmic Characterization of Multi-Dimensional Mechanisms
We show that every feasible, Bayesian, multi-item multi-bidder mechanism for independent, additive bidders can be implemented as a …
PDF DOI arXiv