Formulating Optimal Power Flow Problems is well- known since the 1960s, but solving those problems to global optimality is challenging until today, due to the nonconvex characteristic of the embedded ...