On the Separability Problem of String Constraints.

Parosh Aziz Abdulla Mohamed Faouzi Atig Vrunda Dave Shankara Narayanan Krishna

Published in: CONCUR (2020)

Keyphrases

pattern matching
data structure
constraint satisfaction
constrained optimization
real time
data mining
artificial intelligence
pattern recognition
suffix tree
context free grammars
string matching