“SAT-aided Automatic Search of Boomerang Distinguishers for ARX Ciphers”, ToSC, vol. 2023, no. 1, pp. 152–191, Mar. 2023, doi: 10.46586/tosc.v2023.i1.152-191.