Litcius/Paper detail

Computational advances in polynomial optimization: RAPOSa, a freely available global solver

Brais González-Rodríguez, Joaquín Ossorio-Castillo, Julio González-Díaz, Ángel M. González-Rueda, David R. Penas, Diego Rodríguez-Martínez

2022Journal of Global Optimization12 citationsDOIOpen Access PDF

Abstract

Abstract In this paper we introduce , a global optimization solver specifically designed for (continuous) polynomial programming problems with box-constrained variables. Written entirely in , is based on the Reformulation-Linearization (Sherali and Tuncbilek in J Glob Optim 103:225–249, 1992). We present a description of the main characteristics of along with a thorough analysis of the impact on its performance of various enhancements discussed in the literature, such as bound tightening and SDP cuts. We also present a comparative study with three of the main state-of-the-art global optimization solvers: , and .

Topics & Concepts

SolverLinearizationGlobal optimizationMathematicsMathematical optimizationPolynomialApplied mathematicsMathematical analysisNonlinear systemQuantum mechanicsPhysicsAdvanced Optimization Algorithms ResearchPolynomial and algebraic computationFormal Methods in Verification