Optimization problems are usually defined in terms of their mathematical programming formulation. This consists of a set of objective functions to be optimized subject to a set of constraints, all expressed in terms of a set of decision variables which may be discrete or continuous. Formulations may be symbolically transformed so that some of their numerical properties (e.g. optimal solutions, feasible region,...) are invariant. Yet sometimes the reformulated problem is easier to solve or is useful within a given solution algorithm. The main aims of this project are a systematic study of reformulation theory, the production of software tools for automating mathematical programming reformulation, and the formalization and implementation of solution algorithms based on reformulation techniques.
Download rose latest version. Uncompress the archive, then follow the instructions in the INSTALL file.
Scientific Description : The Reformulation-Optimization Software Engine, Leo Liberti, Sonia Cafieri, David Savourey, to appear in International Congress of Mathematical Software.
Practical informations : Here is the README file contained in the rose archive. Here is the README contained in the code repository.
-
Leo Liberti, LIX, Ecole Polytechnique, France - head of the project
-
Sonia Cafieri, ENAC, France - contributor
-
Claudia d'Ambrosio, DEIS, Univ. Bologna, Italy - contributor
-
Fabien Tarissan, LIP6, Univ. Paris 6, France - contributor
-
David Savourey, LIX, Ecole Polytechnique, France - maintainer