Reachability in Vector Addition Systems is Ackermann-complete.

Wojciech Czerwinski Lukasz Orlikowski

Published in: FOCS (2021)

Keyphrases

expert systems
management system
systems require
knowledge based systems
retrieval systems
vector space
real world
genetic algorithm
building blocks