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