J. Aspman, G. Korpas, and J. Marecek, “Taming Binarized Neural Networks and Mixed-Integer Programs”, AAAI, vol. 38, no. 10, pp. 10935-10943, Mar. 2024.