WikiMini

Shortest vector problem