KKT

necessary conditions for a solution in nonlinear programming to be optimal, provided that some regularity conditions are satisfied.