C. Pan, Y. Wu, K. Tang, Q. Li, and X. Yao, “Efficient Robustness Evaluation via Constraint Relaxation”, AAAI, vol. 39, no. 6, pp. 6263–6271, Apr. 2025.