TY  - RPRT
TI  - Is Four Enough? Automated Reasoning Approaches and Dual Bounds for Condorcet Dimensions of Elections
AU  - Itai Zilberstein
AU  - Ratip Emin Berker
AU  - George Li
AU  - Ruben Martins
PY  - 2026
UR  - https://arxiv.org/abs/2604.19851
ID  - 2604.19851
ER  -