Li, Ting, and Yao Sun. “SuperBall: A New Approach for MILP Modelings of Boolean Functions”. IACR Transactions on Symmetric Cryptology 2022, no. 3 (September 9, 2022): 341–367. Accessed January 18, 2025. https://er.ceres.rub.de/index.php/ToSC/article/view/9860.