Statistics of MILP modeling of Boolean functions by minimum number of inequalities

Contact ORBilu