Li T, Sun Y. SuperBall: A New Approach for MILP Modelings of Boolean Functions. ToSC [Internet]. 2022 Sep. 9 [cited 2025 Jan. 18];2022(3):341-67. Available from: https://er.ceres.rub.de/index.php/ToSC/article/view/9860