Mixed Integer Programming, Sos2, Piecewise Linear Modeling, Cplex, Gurobi.
published a very detailed case book here Linear optimization solvers have made dramatic algorithmic progress over the last 20 years. Modern solvers such as CPLEX or GUROBI can now solve problems involving thousands of variables and constraints in matter of minutes. This scalability, as well as the