A bounded-distance decoding algorithm for the Leech lattice, with generalizations | IEEE Journals & Magazine | IEEE Xplore