I. Introduction
The Alternating-Current Optimal Power Flow (ACOPF) problem [1] is a well-known challenging computational task. It is nonlinear, non-convex and with feasible region that may be disconnected; see [2], [3]. From a theoretical perspective, in [4], [5] it is shown that the feasibility problemis strongly NP-hard; [6] proved that it is weakly NP-hard on starnetworks. In the current state-of-the-art, some interior point methods are empirically successful at computing excellent solutions but cannot provide any bounds on solution quality.