Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes.

Wojciech Czerwinski Lukasz Orlikowski

Published in: CoRR (2022)

Keyphrases

lower bound
upper bound
objective function
branch and bound
multi dimensional
branch and bound algorithm
vc dimension
np hard
state space
optimal solution
fixed number
upper and lower bounds
quadratic assignment problem
neural network
sample complexity
lower and upper bounds
transitive closure