Return to Article Details Finding Strategyproof Social Choice Functions via SAT Solving Download Download PDF