Is Four Enough? Automated Reasoning Approaches and Dual Bounds for Condorcet Dimensions of Elections. - Itai Zilberstein; Ratip Emin Berker; George Li 004; Ruben Martins (CoRR, 2026)