Bounded Reachability Problems Are Decidable in FIFO Machines.

Benedikt Bollig Alain Finkel Amrita Suresh

Published in: CONCUR (2020)

Keyphrases

neural network
genetic algorithm
expressive power
decision problems
benchmark problems
data flow
solving problems
transitive closure
databases
real world
data mining
application domains
combinatorial optimization