Sun, Ling, et al. “Accelerating the Search of Differential and Linear Characteristics With the SAT Method”. IACR Transactions on Symmetric Cryptology, vol. 2021, no. 1, Mar. 2021, pp. 269-15, doi:10.46586/tosc.v2021.i1.269-315.