Vitalsource Technologies, Inc. Fast Numerical Methods For Mixed-integer Nonlinear Model-predictive Con