Title: Constructive characterizations of the value function of a mixed-integer program
Subjects: Integer programming