“…Bilevel programming has a long history, with traditions in theoretical economics (see, for instance, [29], which originally appeared in 1975) and operations research (see, for instance, [10,22]). While much of the research community's attention has focused on the continuous case, there is a growing literature on bilevel programs with integer variables, starting with early work in the 1990s by Bard and Moore [3,30] through a more recent surge of interest [16,18,19,24,25,33,34,36,38]. Research has largely focused on algorithmic concerns, with a recent emphasis on leveraging advancements in cutting plane techniques.…”