The General Vector Addition System Reachability Problem by Presburger Inductive Invariants.

Jérôme Leroux

Published in: LICS (2009)

Keyphrases

special case
state space
inductive learning
genetic algorithm
case study
closely related
concept learning
data sets
databases
real world
feature space
inductive logic programming
transitive closure