T. Li and Y. Sun, “SuperBall: A New Approach for MILP Modelings of Boolean Functions”, ToSC, vol. 2022, no. 3, pp. 341–367, Sep. 2022.