vix.ing · top · new · best · stats · spec

Katharina Kreuzer

  1. Verification of NP-hardness Reduction Functions for Exact Lattice Problems
    2023/06/14 by Katharina Kreuzer, Tobias Nipkow, Kreuzer, Katharina +1 · 2 citations
    Computer Science · #68V20 #Advanced Algebra and Logic #Computational Complexity (cs.CC) #F.2.m #FOS: Computer and information sciences #Formal Methods in Verification #Polynomial and algebraic computation