Formalization and Solution Algorithms for Electricity Production Scheduling Problem | IEEE Conference Publication | IEEE Xplore