Finding Strategyproof Social Choice Functions via SAT Solving Felix Brandt and Christian Geist General Idea and Related Work • - Social preference - Document - PDFSEARCH.IO

First Page	Meta Content
	Finding Strategyproof Social Choice Functions via SAT Solving Felix Brandt and Christian Geist General Idea and Related Work • Add to Reading List Document Date: 2015-02-02 05:06:41 Open Document File Size: 1,02 MB Share Result on Facebook Company Input (setting axioms) LP / CNF / BP / / Holiday Assumption / / IndustryTerm theorem search / search space / / Person Markus Brill / Felix Brandt / Jasmin Christian Blanchette / Hans Georg Seedig / Christian Geist / / Position General / author / / Product Pentax K-x Digital Camera / BP / / ProgrammingLanguage R / / SocialTag Function 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 List