Necessary optimality conditions for bilevel minimization problems

In this paper we study bilevel minimization problems. Using the implicit function theorem, variational analysis and exact penalty results we establish necessary optimality conditions for these problems.