@misc{indiciae57475e0be85c,
  title = {Is Four Enough? Automated Reasoning Approaches and Dual Bounds for Condorcet Dimensions of Elections},
  author = {Itai Zilberstein and Ratip Emin Berker and George Li and Ruben Martins},
  year = {2026},
  url = {https://arxiv.org/abs/2604.19851},
  note = {Source identifier: 2604.19851}
}