L. Sun, W. Wang, and M. Wang, “Accelerating the Search of Differential and Linear Characteristics with the SAT Method”, ToSC, vol. 2021, no. 1, pp. 269–315, Mar. 2021.