Derbez, Patrick, and Baptiste Lambin. 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.