Transforming Mathematical Models Using Declarative Reformulation Rules
Reformulation is one of the most useful and widespread activities in mathematical modeling, in that finding a “good” formulation is a fundamental step in being able so solve a given problem. Currently, this is almost exclusively a human activity, with next to no support from modeling and solution tools. In this paper we show how the reformulation system defined in  allows to automatize the task of exploring the formulation space of a problem, using a specific example (the Hyperplane Clustering Problem). This nonlinear problem admits a large number of both linear and nonlinear formulations, which can all be generated by defining a relatively small set of general Atomic Reformulation Rules (ARR). These rules are not problem-specific, and could be used to reformulate many other problems, thus showing that a general-purpose reformulation system based on the ideas developed in  could be feasible.
KeywordsColumn Generation Nonlinear Formulation Reformulation System Track Structure Discrete Apply Mathematic
Unable to display preview. Download preview PDF.
- 10.Liberti, L.: Reformulation techniques in mathematical programming, in preparation. Thèse d’Habilitation à Diriger des Recherches, Université Paris IXGoogle Scholar
- 12.Liberti, L., Cafieri, S., Tarissan, F.: Reformulations in mathematical programming: a computational approach. In: Abraham, A., Hassanien, A.-E., Siarry, P., Engelbrecht, A. (eds.) Foundations of Computational Intelligence. SCI, vol. 3, pp. 153–234. Springer, Berlin (2009)Google Scholar
- 13.Sanchez, L.P.: Artificial Intelligence Techniques for Automatic Reformulation and Solution of Structured Mathematical Models. PhD thesis, University of Pisa (2010)Google Scholar
- 15.Sherali, H.: Personal communication (2007)Google Scholar
- 17.Yang, G., Kifer, M., Wan, H., Zhao, C.: Flora-2: User’s ManualGoogle Scholar