Sign in

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

Jakub MichaliszynJan OtopPiotr Wieczorek
Published in: CONCUR (2023)
Keyphrases
  • data structure
  • solving problems
  • soft constraints
  • tree automata
  • database
  • neural network
  • dynamic programming
  • related problems