Sun, L., W. Wang, and M. Wang. “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.