T. A. Henzinger, M. Lechner, and Đorđe Žikelić, “Scalable Verification of Quantized Neural Networks”, AAAI, vol. 35, no. 5, pp. 3787-3795, May 2021.