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