Gerrymander-proof representative democracies.

Sebastian Bervoets Vincent Merlin

Published in: Int. J. Game Theory (2012)

Keyphrases

theorem proving
linear logic
data sets
theorem prover
database
decision making
automated theorem proving
feature selection
metadata
case study
data streams
multi agent systems
representative set
mathematical proofs