1 paper
Łukasz Kamiński, Sławomir Lasota
We settle the exact complexity of the reachability problem in (stateless) vector addition systems (VAS) in fixed low dimension. In dimensions 2-4 it has only been known to be sandw…