Derbez, Patrick, and Baptiste Lambin. “Fast MILP Models for Division Property”. IACR Transactions on Symmetric Cryptology, vol. 2022, no. 2, June 2022, pp. 289-21, doi:10.46586/tosc.v2022.i2.289-321.