“…G(x) ∈ C, x ∈ D, (1.1) where f : X → R and G : X → Y are continuously differentiable mappings, X and Y are Euclidean spaces, i.e., real and finite-dimensional Hilbert spaces, C ⊆ Y is nonempty, closed, and convex, whereas D ⊆ X is only assumed to be nonempty and closed (not necessarily convex), representing a possibly complicated set, for which, however, a projection operation is accessible. This very general setting (analyzed for example in [1]) covers, for example, standard nonlinear programming problems with convex constraints, but also difficult disjunctive programming problems [2][3][4][5], e.g., complementarity [6], vanishing [7], switching [8] and cardinality constrained [9,10] problems. Matrix optimization problems such as low-rank approximation [11,12] are also captured by our setting.…”