Optimization model and solution method for multi-channel cooperative sensing in cognitive radio networks | IEEE Conference Publication | IEEE Xplore