Login / Signup

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

Katharina KreuzerTobias Nipkow
Published in: CADE (2023)
Keyphrases
  • np hardness
  • np hard
  • approximation algorithms
  • genetic algorithm
  • search algorithm
  • decision problems
  • worst case analysis