A Systematical Approach to Tighten Unit Commitment Formulations | IEEE Conference Publication | IEEE Xplore