https://123dok.net/document/yj7m0j2m-achieving-vanishing-snr-exact-lattice-decoding-subexponential-complexity.html