TY  - RPRT
TI  - MILP the Gap: An Automated Reasoning Approach to Condorcet's Paradox
AU  - Itai Zilberstein
AU  - Ruben Martins
AU  - Ratip Emin Berker
PY  - 2026
UR  - https://arxiv.org/abs/2604.19851
ID  - 2604.19851
ER  -