keywords Automatic differentiation Convex relaxations Engineering Engineering, Chemical Factorable functions Global optimization PROGRAMS Science & Technology Technology