Mixed Integer Programming, Sos2, Piecewise Linear Modeling, Cplex, Gurobi.
can see, a measure of complexity has been introduced by these equations. This is, in part, because of the second equation: modeling the SOS requires the use of binary variables. That means our problem automatically becomes a Mixed Integer Program, which is proven to be NP-Hard to solve (but can