Power Generation Scheduling by Integer Programming-Development of Theory | Synapse