Mixed Integer Linear Programming Model for the Optimal Operation of a Dual Source Heat Pump | IEEE Conference Publication | IEEE Xplore