The Shortest Vector in a Lattice is Hard to Approximate to within Some Constant
SIAM Journal on Computing
(Gap/S)ETH hardness of SVP