SUN, L.; WANG, W.; WANG, M. Accelerating the Search of Differential and Linear Characteristics with the SAT Method. IACR Transactions on Symmetric Cryptology, v. 2021, n. 1, p. 269-315, 19 Mar. 2021.