Lattice decoding can achieve 1/2 log(1+SNR) on the AWGN channel using nested codes | IEEE Conference Publication | IEEE Xplore