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 24 articles )

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

1 2 next

  1. Liberti, Leo; Manca, Benedetto: Side-constrained minimum sum-of-squares clustering: mathematical programming and random projections (2022)
  2. Lundell, Andreas; Kronqvist, Jan: Polyhedral approximation strategies for nonconvex mixed-integer nonlinear programming in SHOT (2022)
  3. Liberti, Leo: Distance geometry and data science (2020)
  4. Cafieri, Sonia; D’Ambrosio, Claudia: Feasibility pump for aircraft deconfliction with speed regulation (2018)
  5. Cafieri, Sonia; Omheni, Riadh: Mixed-integer nonlinear programming for aircraft conflict avoidance by sequentially applying velocity and heading angle changes (2017)
  6. Boukouvala, Fani; Misener, Ruth; Floudas, Christodoulos A.: Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO (2016)
  7. Rey, David; Gardner, Lauren; Waller, S. Travis: Finding outbreak trees in networks with limited information (2016)
  8. Dias, Gustavo; Liberti, Leo: Orbital independence in symmetric mathematical programs (2015)
  9. 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)
  10. Cafieri, Sonia; Durand, Nicolas: Aircraft deconfliction with speed regulation: new models from mixed-integer optimization (2014)
  11. Liberti, Leo; Marinelli, Fabrizio: Mathematical programming: Turing completeness and applications to software analysis (2014)
  12. Antal, Elvira; Csendes, Tibor; Virágh, János: Nonlinear transformations for the simplification of unconstrained nonlinear optimization problems (2013)
  13. D’ambrosio, Claudia; Lodi, Andrea: Mixed integer nonlinear programming tools: an updated practical overview (2013)
  14. Kolodziej, Scott; Castro, Pedro M.; Grossmann, Ignacio E.: Global optimization of bilinear programs with a multiparametric disaggregation technique (2013)
  15. Lundell, Andreas; Skjäl, Anders; Westerlund, Tapio: A reformulation framework for global optimization (2013)
  16. D’Ambrosio, Claudia; Frangioni, Antonio; Liberti, Leo; Lodi, Andrea: A storm of feasibility pumps for nonconvex MINLP (2012)
  17. Liberti, Leo: Reformulations in mathematical programming: automatic symmetry detection and exploitation (2012)
  18. 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)
  19. D’Ambrosio, Claudia; Lodi, Andrea: Mixed integer nonlinear programming tools: a practical overview (2011)
  20. Liberti, Leo; Mladenović, Nenad; Nannicini, Giacomo: A recipe for finding good solutions to MINLPs (2011)

1 2 next