SuperBall: A New Approach for MILP Modelings of Boolean Functions. ToSC [Internet]. 2022 Sep. 9 [cited 2024 Nov. 22];2022(3):341-67. Available from: https://philosophymindscience.org/index.php/ToSC/article/view/9860