Li, T.; Sun, Y. SuperBall: A New Approach for MILP Modelings of Boolean Functions. ToSC 2022, 2022, 341-367.