Vector Addition Systems Reachability Problem (A Simpler Solution).

Jérôme Leroux

Published in: Turing-100 (2012)

Keyphrases

optimal solution
artificial intelligence
case study
expert systems
feature vectors
distributed systems
databases
neural network
information retrieval
multi objective
dynamic programming
linear systems