Analyzing Vote Counting Algorithms Via Logic Carsten Schurmann ¨ IT University of Copenhagen Joint work with - Single transferable vote - Document - PDFSEARCH.IO

First Page	Meta Content
	Analyzing Vote Counting Algorithms Via Logic Carsten Schurmann ¨ IT University of Copenhagen Joint work with Add to Reading List Document Date: 2015-05-20 04:01:43 Open Document File Size: 538,79 KB Share Result on Facebook Facility IT University / Bernhard Beckert Karlsruhe Institute of Technology Rajeev Gore Australian National University June / / Organization IT University of Copenhagen Joint / Institute of Technology / Australian National University / / Technology Analyzing Vote Counting Algorithms / / SocialTag Social choice theory Instant-runoff voting Counting Single Transferable Votes Wright system Single Transferable Vote Political philosophy Voting

Analyzing Vote Counting Algorithms Via Logic Carsten Schurmann ¨ IT University of Copenhagen Joint work withAdd to Reading List