Coverability in VASS revisited: improving Rackoff's bound to obtain conditional optimality (Q6638141)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Coverability in VASS revisited: improving Rackoff's bound to obtain conditional optimality |
scientific article; zbMATH DE number 7944169
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Coverability in VASS revisited: improving Rackoff's bound to obtain conditional optimality |
scientific article; zbMATH DE number 7944169 |
Statements
Coverability in VASS revisited: improving Rackoff's bound to obtain conditional optimality (English)
0 references
14 November 2024
0 references
vector addition system
0 references
coverability
0 references
reachability
0 references
fine-grained complexity
0 references
exponential time hypothesis
0 references
\(k\)-cycle hypothesis
0 references
hyperclique hypothesis
0 references
