Sun, L., Wang, W. and Wang, M. (2021) “Accelerating the Search of Differential and Linear Characteristics with the SAT Method”, IACR Transactions on Symmetric Cryptology, 2021(1), pp. 269–315. doi: 10.46586/tosc.v2021.i1.269-315.