Sun, L.; Wang, W.; Wang, M. Accelerating the Search of Differential and Linear Characteristics With the SAT Method. ToSC 2021, 2021, 269-315.