Sun, Ling, Wei Wang, and Meiqin Wang. “Accelerating the Search of Differential and Linear Characteristics With the SAT Method”. IACR Transactions on Symmetric Cryptology 2021, no. 1 (March 19, 2021): 269-315. Accessed April 14, 2021. https://tosc.iacr.org/index.php/ToSC/article/view/8840.