Mixed-Integer Linear Programming Model and Constraints Reduction Methods for Security-Constrained Unit Commitment | AMiner