分野別セミナー

Enumeration is a basic technique to solve the main lattice problems. Though its running time is at least exponential, it is the most efficient technique known in practice for solving lattice problems exactly, and it has been used in many lattice record computations. In this talk, we survey enumeration and recent improvements, including pruning.