Fast and Certified Bounding of Security-Constrained DCOPF via Interval Bound Propagation. - Eren Tekeler; Xiangru Zhong; Huan Zhang; Samuel Chevalier (CoRR, 2025)