Reachability in Fixed VASS: Expressiveness and Lower Bounds.

Andrei Draghici Christoph Haase Andrew Ryzhikov

Published in: CoRR (2023)

Keyphrases

lower bound
upper bound
objective function
state space
expressive power
branch and bound
branch and bound algorithm
lower and upper bounds
np hard
vc dimension
worst case
transitive closure
min sum
genetic algorithm
randomly generated problems
lower bounding
similarity measure