Sphere Decoding for MIMO OFDM with the Aid of HARQ | IEEE Conference Publication | IEEE Xplore