Felix Brandt, Christian Geist. Finding strategyproof social choice functions via SAT solving. In Ana L. C. Bazzan, Michael N. Huhns, Alessio Lomuscio, Paul Scerri, editors, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014. pages 1193-1200, IFAAMAS/ACM, 2014. [doi]
Abstract is missing.