Fast Identification of Inactive Security Constraints in SCUC Problems | Synapse