“Accelerating the Search of Differential and Linear Characteristics with the SAT Method” (2021) IACR Transactions on Symmetric Cryptology, 2021(1), pp. 269–315. doi:10.46586/tosc.v2021.i1.269-315.