Mixed-Integer Linear Programming Model and Constraints Reduction Methods for Security-Constrained Unit Commitment | IEEE Conference Publication | IEEE Xplore