Voting with ties: Strong impossibilities via SAT solving

Keyphrases

• Pareto Optimal 100%
• SAT Solving 100%
• Voting Rules 66%
• Optimal Rule 66%
• High-order 33%
• Human-readable 33%
• SAT Solver 33%
• Very Large Problems 33%
• Multi-agent 33%
• Theorem Prover 33%
• Gibbard-Satterthwaite Theorem 33%
• Prepositional Logic 33%
• Social Choice Theory 33%
• Readable Proof 33%
• Number of Alternatives 33%
• Lottery 33%
• Joint Decision 33%
• Agent Voting 33%
• Unsatisfiable Cores 33%

Computer Science

• Strongest Result 100%
• multi agent 100%
• Prepositional Logic 100%
• Social Choice Theory 100%
• Order Theorem Prover 100%

Economics, Econometrics and Finance

• Voting Rule 100%
• Social Welfare Function 50%
• Impossibility Theorem 50%