A necessary and a sufficient optimality condition for bilevel programming problems
Stephan Dempe · Optimization · 1992
A necessary and a sufficient condition for local optimal solutions of bilevel programming problems are developed using differential stability results for parametric optimization problems. Verification of these conditions reduces to the solution of some auxiliary combinatorial optimization problems.