activity
20242026
collaborators

5 papers

math.OC2026

A note on the convergence guarantees of RLT-based algorithms for polynomial optimization

Alejandro Barros-González, Julio González-Díaz, Brais González-Rodríguez +1

This paper identifies and addresses a mathematical oversight in one of the foundational results on the Reformulation-Linearization Technique (RLT) for polynomial optimization. We t…

math.OC2025

Bound tightening in lifted formulations: (sub)solver-dependent impact on performance in RLT-based algorithms

Julio González-Díaz, Brais González-Rodríguez, Ignacio Gómez-Casares

In this paper we explore a relevant aspect of the interplay between two core elements of global optimization algorithms for nonconvex nonlinear programming problems, which we belie…

math.OC2025

Impact of domain reduction techniques in polynomial optimization: A computational study

Ignacio Gómez-Casares, Brais González-Rodríguez, Julio González-Díaz +1

Domain reduction techniques are at the core of any global optimization solver for NLP or MINLP problems. In this paper, we delve into several of these techniques and assess the imp…

math.OC2024

An extension of an RLT-based solver to MINLP polynomial problems

Julio González-Díaz, Brais González-Rodríguez, Iria Rodríguez-Acevedo

In this paper we extend the core branch-and-bound algorithm of an RLT-based solver for continuous polynomial optimization, RAPOSa, to handle mixed-integer problems. We do so by a d…

math.OC2024

Learning in Spatial Branching: Limitations of Strong Branching Imitation

Brais González-Rodríguez, Ignacio Gómez-Casares, Bissan Ghaddar +2

Over the last few years, there has been a surge in the use of learning techniques to improve the performance of optimization algorithms. In particular, the learning of branching ru…