Integer Linear Programming Formulations for Cognitive Radio Resource Allocation | IEEE Journals & Magazine | IEEE Xplore