Vitalsource Technologies, Inc. Convexification And Global Optimization In Continuous And Mixed-integer