Finding strategyproof social choice functions via SAT solving.

Felix Brandt Christian Geist

Published in: AAMAS (2014)

Keyphrases

social choice
sat solving
sat solvers
computational social choice
computational complexity
boolean satisfiability
social networks
orders of magnitude
temporal logic
symmetry breaking