An exact optimization tool for market-oriented grid middleware | IEEE Conference Publication | IEEE Xplore