EXOTIC: An Exact, Optimistic, Tree-Based Algorithm for Min-Max Optimization. - Chinmay Maheshwari; Chinmay Pimpalkhare; Debasish Chatterjee (CoRR, 2025)