Zhou, C., W. Zhang, T. Ding, and Z. Xiang. “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, doi:10.13154/tosc.v2019.i4.438-469.