1 citations · 2 across the 9 of their papers we have counts for
1 paper · 1 filter
Wojciech Czerwiński, Łukasz Orlikowski
We study the complexity of the reachability problem for Vector Addition Systems with States (VASSes) in fixed dimensions. We provide four lower bounds improving the currently known…