Probabilistic tree pruning for fixed-complexity sphere decoder in MIMO systems | IEEE Conference Publication | IEEE Xplore