Though the envelope theorem is a widely used tool of applied economic analysis, the standard version of the theorem can only be used if all of the choice variables are assumed to be continuous. This limitation is significant because the natural description of many economic choice variables is as...

Integer programming is an expressive framework for modeling and solving discrete optimization problems that arise in a variety of contexts in the engineering sciences. Integer programming representations work with implicit algebraic constraints (linear equations and inequalities on integer...