“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, https://doi.org/10.46586/tosc.v2021.i1.269-315.