C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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