Tight Mixed Integer Linear Programming Formulations for the Unit Commitment Problem | IEEE Journals & Magazine | IEEE Xplore