k/8+ o (k) and polynomial memory. This improves on the previously best known enumeration-
based algorithms which achieve the same quality, but in time k^ k/(2e)+ o (k). A cost of k^
k/8+ o (k) was previously mentioned as potentially achievable (Hanrot-Stehlé'10) or as a
heuristic lower bound (Nguyen'10) for enumeration algorithms. We prove the complexity and
quality of our algorithm under a heuristic assumption and provide empirical evidence from …