SuperBall: A New Approach for MILP Modelings of Boolean Functions. ToSC [Internet]. 2022 Sep. 9 [cited 2024 Dec. 23];2022(3):341-67. Available from: https://ojs.ub.rub.de/index.php/ToSC/article/view/9860