Coverability in 2-VASS with One Unary Counter is in NP.

Filip Mazowiecki Henry Sinclair-Banks Karol Wegrzycki

Published in: FoSSaCS (2023)

Keyphrases

pairwise
np complete
computational complexity
np hard
information retrieval
management system
decision making
decision trees
image segmentation
pattern recognition
expert systems
double exponential
truth table