From the 1 of 2 linked papers with an AI index.
1 paper · 1 filter
Daqing Wan
The paper proves that computing the shortest non-zero vector of a lattice in Euclidean space is NP‑hard, confirming van Emde Boas's conjecture and giving a deterministic version of…