Xiao-Qi Yang: Lagrange-type Functions in Constrained Non-Convex Optimization