Optimal scheduling of park-level integrated energy system in the context of carbon trading | IEEE Conference Publication | IEEE Xplore