An Integer Programming Model for an Energy Supply Game | AMiner