Sphere Decoding With a Probabilistic Tree Pruning | IEEE Journals & Magazine | IEEE Xplore