Wang, Dachao, et al. “SAT-Aided Automatic Search of Boomerang Distinguishers for ARX Ciphers”. IACR Transactions on Symmetric Cryptology, vol. 2023, no. 1, Mar. 2023, pp. 152-91, doi:10.46586/tosc.v2023.i1.152-191.