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

Katharina Kreuzer Tobias Nipkow

Published in: CoRR (2023)

Keyphrases

np hardness
np hard
approximation algorithms
lower bound
dynamic programming
mixed integer
worst case analysis
training set
special case
upper bound
worst case
graphical models
maximum likelihood
dynamic environments
decision problems