Computing a Correct and Tight Rounding Error Bound Using Rounding-to-Nearest.

Published in: NSV@CAV (2016)

Keyphrases

error bounds
worst case
approximation algorithms
linear programming
lower bound
mixed integer
theoretical analysis
upper bound
linear programming relaxation
nearest neighbor
np hard
feasible solution
finite sample
parzen window