Li, Ting, and Yao Sun. “SuperBall: A New Approach for MILP Modelings of Boolean Functions”. IACR Transactions on Symmetric Cryptology, vol. 2022, no. 3, Sept. 2022, pp. 341-67, https://doi.org/10.46586/tosc.v2022.i3.341-367.