Accelerating the Search of Differential and Linear Characteristics with the SAT Method. ToSC. 2021;2021(1):269-315. doi:10.46586/tosc.v2021.i1.269-315