Vitalsource Technologies, Inc. Lagrange-type Functions In Constrained Non-convex Optimization