Abstract
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.