Coverability: Realizability Lower Bounds.

Krishnendu Chatterjee Nir Piterman

Published in: CoRR (2018)

Keyphrases

lower bound
upper bound
branch and bound
branch and bound algorithm
objective function
optimal solution
np hard
lower bounding
lower and upper bounds
upper and lower bounds
worst case
vc dimension
lagrangian relaxation
running times
data sets
similarity measure
max sat
online algorithms