Reachability in Vector Addition Systems is Ackermann-complete.

Wojciech Czerwinski Lukasz Orlikowski

Published in: FOCS (2022)

Keyphrases

neural network
data sets
expert systems
dynamic programming
management system
knowledge based systems
real time
data mining
machine learning
decision making
knowledge base
bayesian networks
distributed systems
retrieval systems
vector space