What Is Decidable about String Constraints with the ReplaceAll Function.

Taolue Chen Yan Chen Matthew Hague Anthony W. Lin Zhilin Wu

Published in: CoRR (2017)

Keyphrases

data structure
linear constraints
search space
constraint programming
geometric constraints
database
data sets
reinforcement learning
pattern matching
string matching
datalog queries