String Constraints with Regex-Counting and String-Length Solved More Efficiently.

Denghang Hu Zhilin Wu

Published in: SETTA (2023)

Keyphrases

finite alphabet
data structure
pattern matching
string matching
alphabet size
regular expressions
arbitrary length
edit distance
optimal solution
real time
information retrieval
objective function
data sets
pairwise
query processing
database
hamming distance
context free grammars
longest common subsequence