Derbez, Patrick, and Baptiste Lambin. “Fast MILP Models for Division Property”. IACR Transactions on Symmetric Cryptology 2022, no. 2 (June 10, 2022): 289–321. Accessed January 18, 2025. https://er.ceres.rub.de/index.php/ToSC/article/view/9722.