Local Convergence of SQP Methods for Mathematical Programs with Equilibrium Constraints
SNOPT: An SQP algorithm for large-scale constrained optimization