Sun, L., Wang, W., & Wang, M. (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