Matches in SemOpenAlex for { <https://semopenalex.org/work/W4380993325> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4380993325 abstract "This paper describes the formal verification of NP-hardness reduction functions of two key problems relevant in algebraic lattice theory: the closest vector problem and the shortest vector problem, both in the infinity norm. The formalization uncovered a number of problems with the existing proofs in the literature. The paper describes how these problems were corrected in the formalization. The work was carried out in the proof assistant Isabelle." @default.
- W4380993325 created "2023-06-17" @default.
- W4380993325 creator A5027542873 @default.
- W4380993325 creator A5062636889 @default.
- W4380993325 date "2023-06-14" @default.
- W4380993325 modified "2023-10-16" @default.
- W4380993325 title "Verification of NP-hardness Reduction Functions for Exact Lattice Problems" @default.
- W4380993325 doi "https://doi.org/10.48550/arxiv.2306.08375" @default.
- W4380993325 hasPublicationYear "2023" @default.
- W4380993325 type Work @default.
- W4380993325 citedByCount "0" @default.
- W4380993325 crossrefType "posted-content" @default.
- W4380993325 hasAuthorship W4380993325A5027542873 @default.
- W4380993325 hasAuthorship W4380993325A5062636889 @default.
- W4380993325 hasBestOaLocation W43809933251 @default.
- W4380993325 hasConcept C105795698 @default.
- W4380993325 hasConcept C108710211 @default.
- W4380993325 hasConcept C111335779 @default.
- W4380993325 hasConcept C11413529 @default.
- W4380993325 hasConcept C118615104 @default.
- W4380993325 hasConcept C121332964 @default.
- W4380993325 hasConcept C134306372 @default.
- W4380993325 hasConcept C136119220 @default.
- W4380993325 hasConcept C168482242 @default.
- W4380993325 hasConcept C17744445 @default.
- W4380993325 hasConcept C178489894 @default.
- W4380993325 hasConcept C191795146 @default.
- W4380993325 hasConcept C199539241 @default.
- W4380993325 hasConcept C202444582 @default.
- W4380993325 hasConcept C207987634 @default.
- W4380993325 hasConcept C24890656 @default.
- W4380993325 hasConcept C2524010 @default.
- W4380993325 hasConcept C2781204021 @default.
- W4380993325 hasConcept C33923547 @default.
- W4380993325 hasConcept C41008148 @default.
- W4380993325 hasConcept C44274781 @default.
- W4380993325 hasConcept C54197355 @default.
- W4380993325 hasConcept C9376300 @default.
- W4380993325 hasConceptScore W4380993325C105795698 @default.
- W4380993325 hasConceptScore W4380993325C108710211 @default.
- W4380993325 hasConceptScore W4380993325C111335779 @default.
- W4380993325 hasConceptScore W4380993325C11413529 @default.
- W4380993325 hasConceptScore W4380993325C118615104 @default.
- W4380993325 hasConceptScore W4380993325C121332964 @default.
- W4380993325 hasConceptScore W4380993325C134306372 @default.
- W4380993325 hasConceptScore W4380993325C136119220 @default.
- W4380993325 hasConceptScore W4380993325C168482242 @default.
- W4380993325 hasConceptScore W4380993325C17744445 @default.
- W4380993325 hasConceptScore W4380993325C178489894 @default.
- W4380993325 hasConceptScore W4380993325C191795146 @default.
- W4380993325 hasConceptScore W4380993325C199539241 @default.
- W4380993325 hasConceptScore W4380993325C202444582 @default.
- W4380993325 hasConceptScore W4380993325C207987634 @default.
- W4380993325 hasConceptScore W4380993325C24890656 @default.
- W4380993325 hasConceptScore W4380993325C2524010 @default.
- W4380993325 hasConceptScore W4380993325C2781204021 @default.
- W4380993325 hasConceptScore W4380993325C33923547 @default.
- W4380993325 hasConceptScore W4380993325C41008148 @default.
- W4380993325 hasConceptScore W4380993325C44274781 @default.
- W4380993325 hasConceptScore W4380993325C54197355 @default.
- W4380993325 hasConceptScore W4380993325C9376300 @default.
- W4380993325 hasLocation W43809933251 @default.
- W4380993325 hasOpenAccess W4380993325 @default.
- W4380993325 hasPrimaryLocation W43809933251 @default.
- W4380993325 hasRelatedWork W1597211008 @default.
- W4380993325 hasRelatedWork W1819927718 @default.
- W4380993325 hasRelatedWork W2071893554 @default.
- W4380993325 hasRelatedWork W2348168089 @default.
- W4380993325 hasRelatedWork W2410569425 @default.
- W4380993325 hasRelatedWork W2900212834 @default.
- W4380993325 hasRelatedWork W2949749387 @default.
- W4380993325 hasRelatedWork W2973956036 @default.
- W4380993325 hasRelatedWork W3107294732 @default.
- W4380993325 hasRelatedWork W3112306103 @default.
- W4380993325 isParatext "false" @default.
- W4380993325 isRetracted "false" @default.
- W4380993325 workType "article" @default.