J. Lan, B. Brückner, and A. Lomuscio, “A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification”, AAAI, vol. 37, no. 12, pp. 14946-14954, Jun. 2023.