Verification of NP-Hardness Reduction Functions for Exact Lattice Problems.

Katharina Kreuzer, Tobias Nipkow

Browse the full CADE paper archive.