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