Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving

Abstract

No abstract available. No abstract was captured for this paper when its proceedings were scraped - most often an older edition published without one online. How the corpus is built. Papers without an abstract are not sent to the classifier, which is why this one carries no topics.

Authors