Reachability and Bounded Emptiness Problems of Constraint Automata with Prefix, Suffix and Infix.

Jakub Michaliszyn Jan Otop Piotr Wieczorek

Published in: CONCUR (2023)

Keyphrases

data structure
solving problems
soft constraints
tree automata
database
neural network
dynamic programming
related problems