shortest vector problem

Multicore Lattice-basis Reduction