Zhou, Chunning, et al. “Improving the MILP-Based Security Evaluation Algorithm Against Differential Linear Cryptanalysis Using A Divide-and-Conquer Approach”. IACR Transactions on Symmetric Cryptology, vol. 2019, no. 4, Jan. 2020, pp. 438-69, https://doi.org/10.13154/tosc.v2019.i4.438-469.