“Accelerating the Search of Differential and Linear Characteristics with the SAT Method”, ToSC, vol. 2021, no. 1, pp. 269–315, Mar. 2021, doi: 10.46586/tosc.v2021.i1.269-315.