A Branch-and-Bound Algorithm for Unit Commitment | Synapse