Sampling short lattice vectors and the closest lattice vector problemMiklós AjtaiRavi Kumaret al.2002CCC 2002