Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving

First Page		Document Content
Date: 2016-06-28 15:06:09		Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving Add to Reading List Source URL: www.ijcai.org Download Document from Source Website File Size: 674,18 KB Share Document on Facebook