Engineering
impact 16
Is Four Enough? Automated Reasoning Approaches and Dual Bounds for Condorcet Dimensions of Elections
Is Four Enough? Automated Reasoning Approaches and Dual Bounds for Condorcet Dimensions of Elections arXiv:2604.19851v1 Announce Type: cross Abstract: In an election where $n$ voters rank $m$ candidates, a Condorcet win…
Why it matters
A useful signal for anyone monitoring four. The condorcet factor makes this more consequential than it first appears.