Bounded Reachability Problems are Decidable in FIFO Machines.

Benedikt Bollig Alain Finkel Amrita Suresh

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

state space
data sets
solving problems
np complete
databases
computer vision
database systems
asymptotically optimal
problems involving
expressive power
application domains
optimization problems
data model
computational complexity
bayesian networks
case study
search engine
genetic algorithm