@misc{indiciae57475e0be85c,
  title = {MILP the Gap: An Automated Reasoning Approach to Condorcet's Paradox},
  author = {Itai Zilberstein and Ruben Martins and Ratip Emin Berker},
  year = {2026},
  url = {https://arxiv.org/abs/2604.19851},
  note = {Source identifier: 2604.19851}
}