Return to Article Details SuperBall: A New Approach for MILP Modelings of Boolean Functions Download Download PDF