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.

References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Duan, Qianqian; Yang, Genke; Xu, Guanglin; Duan, Xueyan: A global optimization approach for a class of MINLP problems with applications to crude oil scheduling problem (2015)
  2. Cafieri, Sonia; Durand, Nicolas: Aircraft deconfliction with speed regulation: new models from mixed-integer optimization (2014)
  3. Liberti, Leo; Marinelli, Fabrizio: Mathematical programming: Turing completeness and applications to software analysis (2014)
  4. D’ambrosio, Claudia; Lodi, Andrea: Mixed integer nonlinear programming tools: an updated practical overview (2013)
  5. Kolodziej, Scott; Castro, Pedro M.; Grossmann, Ignacio E.: Global optimization of bilinear programs with a multiparametric disaggregation technique (2013)
  6. Lundell, Andreas; Skjäl, Anders; Westerlund, Tapio: A reformulation framework for global optimization (2013)
  7. D’Ambrosio, Claudia; Frangioni, Antonio; Liberti, Leo; Lodi, Andrea: A storm of feasibility pumps for nonconvex MINLP (2012)
  8. Liberti, Leo: Reformulations in mathematical programming: automatic symmetry detection and exploitation (2012)
  9. Skjäl, A.; Westerlund, T.; Misener, R.; Floudas, C.A.: A generalization of the classical $\alpha $BB convex underestimation via diagonal and nondiagonal quadratic terms (2012)
  10. D’Ambrosio, Claudia; Lodi, Andrea: Mixed integer nonlinear programming tools: a practical overview (2011)
  11. Liberti, Leo; Mladenović, Nenad; Nannicini, Giacomo: A recipe for finding good solutions to MINLPs (2011)
  12. Belotti, Pietro; Cafieri, Sonia; Lee, Jon; Liberti, Leo: Feasibility-based bounds tightening via fixed points (2010)
  13. Cafieri, Sonia; Lee, Jon; Liberti, Leo: On convex relaxations of quadrilinear terms (2010)
  14. Liberti, Leo; Cafieri, Sonia; Savourey, David: The reformulation-optimization software engine (2010)