Optimization Models and Algorithms for the Unit Commitment Problem | AMiner