Text this: Optimal Low-Carbon Scheduling for Smart Microgrids With Dynamic Thermal Capacity Constraints