Login / Signup

Finding Strategyproof Social Choice Functions via SAT Solving.

Felix BrandtChristian Geist
Published in: J. Artif. Intell. Res. (2016)
Keyphrases
  • social choice
  • sat solving
  • sat solvers
  • boolean satisfiability
  • mechanism design
  • np hard
  • sat problem
  • computational social choice