This page shows all presentations of this author published in EasyChair Smart Slide.
Verification of NP-Hardness for Exact Lattice Problems
Katharina Kreuzer and Tobias Nipkow