Formulations and reformulations in integer programming

  • Authors:
  • Michael Trick

  • Affiliations:
  • Tepper School of Business, Carnegie Mellon, Pittsburgh, PA

  • Venue:
  • CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Creating good integer programming formulations had, as a basic axiom, the rule “Find formulations with tighter linear relaxations”. This rule, while useful when using unsophisticated branch-and-bound codes,is insufficient when using state-of-the-art codes that understand and embed many of the obvious formulation improvements. As these optimization codes become more sophisticated it is important to have finer control over their operation. Modelers need to be even more creative in reformulating their integer programs in order to improve on the automatic reformulations of the optimization codes.