Reachability in Fixed VASS: Expressiveness and Lower Bounds.
Andrei DraghiciChristoph HaaseAndrew RyzhikovPublished in: FoSSaCS (2) (2024)
Keyphrases
- lower bound
- upper bound
- branch and bound algorithm
- objective function
- expressive power
- branch and bound
- upper and lower bounds
- optimal solution
- transitive closure
- vc dimension
- state space
- worst case
- lower bounding
- genetic algorithm
- machine learning
- fixed number
- learning algorithm
- online algorithms
- quadratic assignment problem
- database