Sun, Ling, Wei Wang, and Meiqin Wang. 2021. “Accelerating the Search of Differential and Linear Characteristics With the SAT Method”. IACR Transactions on Symmetric Cryptology 2021 (1):269-315. https://doi.org/10.46586/tosc.v2021.i1.269-315.