Sun, L., Wang, W., Wang, M., 2021. Accelerating the Search of Differential and Linear Characteristics with the SAT Method.. https://doi.org/10.46586/tosc.v2021.i1.269-315