Formulating and solving problem of priority subchannel allocation in downlink WiMAX | IEEE Conference Publication | IEEE Xplore