As one of the most critical components in modern LP solvers, presolve in linear programming (LP) employs a rich set of presolvers to remove different types of redundancy in input problems by ...

Then, the model is discretized and turned into a multi-step decision optimization problem. All the nonlinear constraints are approximated using piecewise affine (PWA) functions, and the trajectory ...