Derbez, P. and Lambin, B. (2022) “Fast MILP Models for Division Property”, IACR Transactions on Symmetric Cryptology, 2022(2), pp. 289–321. doi: 10.46586/tosc.v2022.i2.289-321.