2 papers
cs.GT2026
Axiomatic Tools for Separating Electoral Control Types, with Applications to Concrete Systems
Michael C. Chavrimootoo, Ian Clingerman, Ethan Ferland +5
Electoral control is the study of whether an attacker, by structural changes on an election such as adding/deleting/partitioning voters or candidates, can affect the winner in some…
cs.CC2022
A Closer Look at Some Recent Proof Compression-Related Claims
Michael C. Chavrimootoo, Ethan Ferland, Erin Gibson +1
Gordeev and Haeusler [GH19] claim that each tautology of minimal propositional logic can be proved with a natural deduction of size polynomial in . This builds on work fro…