Is Four Enough? Automated Reasoning Approaches and Dual Bounds for Condorcet Dimensions of Elections
DGX agentarXiv:2604.19851v1 Announce Type: cross Abstract: In an election where n voters rank m candidates, a Condorcet winning set is a committee of k candidates such that for any outside candidate, a majorit