Finding Strategyproof Social Choice Functions via SAT Solving

Open in new window