GENERATING ALTERNATIVE MIXED-INTEGER PROGRAMMING-MODELS USING VARIABLE REDEFINITION

We develop a theory of variable redefinition based on relating the two sets of decision variables by a linear transformation. We describe methods for reformulating the special structure problem. The reformulated models have a more accurate linear relaxation than the problems from which they were derived, an important property within the context of linear programming-based branch-and-bound modeling approaches.