The Reformulation-Optimization Software Engine - ENAC - École nationale de l'aviation civile Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

The Reformulation-Optimization Software Engine


Most optimization software performs numerical computation, in the sense that the main interest is to find numerical values to assign to the decision variables, e.g. a solution to an optimization problem. In mathematical programming, however, a considerable amount of symbolic transformation is essential to solving difficult optimization problems, e.g. relaxation or decomposition techniques. This step is usually carried out by hand, involves human ingenuity, and often constitutes the "theoretical contribution" of some research papers. We describe a Reformulation- Optimization Software Engine (ROSE) for performing (automatic) symbolic computation on mathematical programming formulations.
Fichier principal
Vignette du fichier
cafieri-icms2010.pdf (182.12 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00979214 , version 1 (23-02-2015)



Leo Liberti, Sonia Cafieri, David Savourey. The Reformulation-Optimization Software Engine. ICMS 2010, 3rd International Congress on Mathematical Software, Sep 2010, Kobe, Japan. pp 303-314, ⟨10.1007/978-3-642-15582-6_50⟩. ⟨hal-00979214⟩
371 Consultations
283 Téléchargements



Gmail Mastodon Facebook X LinkedIn More