The Reformulation-Optimization Software Engine

DOI10.1007/978-3-642-15582-6_50zbMath1294.68160OpenAlexW1518192825MaRDI QIDQ5747897

Sonia Cafieri, David Savourey, Leo Liberti

Publication date: 14 September 2010

Published in: Mathematical Software – ICMS 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15582-6_50

zbMATH Keywords

mathematical programmingMINLPreformulation

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mixed integer programming (90C11) Nonlinear programming (90C30) Software, source code, etc. for problems pertaining to operations research and mathematical programming (90-04)

Related Items

Exploiting symmetries in mathematical programming via orbital independence, Nonlinear transformations for the simplification of unconstrained nonlinear optimization problems, Global optimization advances in mixed-integer nonlinear programming, MINLP, and constrained derivative-free optimization, CDFO, Orbital Independence in Symmetric Mathematical Programs, A recipe for finding good solutions to MINLPs, A storm of feasibility pumps for nonconvex MINLP, Distance geometry and data science, Stabilizer-based symmetry breaking constraints for mathematical programs

Uses Software

• BARON
• GAP
• nauty
• SNOPT
• AMPL
• ROSE
• GAMS
• ROSE