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