OpenAlex
Rigorous and Efficient Short Lattice Vectors Enumeration
Work