Wang, D.; Wang, B.; Sun, S. SAT-Aided Automatic Search of Boomerang Distinguishers for ARX Ciphers. ToSC 2023, 2023, 152-191.