P. Huang, “Towards Efficient Verification of Quantized Neural Networks”, AAAI, vol. 38, no. 19, pp. 21152–21160, Mar. 2024.