First Page | Document Content | |
---|---|---|
Date: 2015-02-02 05:06:41Function Preference Pareto efficiency Conjunctive normal form Mathematics Voting system criteria Economics | Finding Strategyproof Social Choice Functions via SAT Solving Felix Brandt and Christian Geist General Idea and Related Work •Add to Reading ListSource URL: dss.in.tum.deDownload Document from Source WebsiteFile Size: 1,02 MBShare Document on Facebook |