Finding Strategyproof Social Choice Functions via SAT Solving