Key points are not available for this paper at this time.
Necessary first-order sequential optimality conditions provide adequate theoretical tools to justify stopping criteria for nonlinear programming solvers. Sequential optimality conditions are satisfied by local minimizers of optimization problems independently of the fulfillment of constraint qualifications. A new condition of this type is introduced in the present paper. It is proved that a well-established augmented Lagrangian algorithm produces sequences whose limits satisfy the new condition. Practical consequences are discussed.
Andreani et al. (Fri,) studied this question.