Accelerating NCUC Via Binary Variable-Based Locally Ideal Formulation and Dynamic Global Cuts | IEEE Journals & Magazine | IEEE Xplore