Security-Constrained Unit Commitment With AC Constraints* | Synapse