A Novel Approach to String Constraint Solving.

Roberto Amadini Graeme Gange Peter J. Stuckey Guido Tack

Published in: CP (2017)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint satisfaction
edit distance
string matching
constraint programming
pattern matching
constraint solver
regular expressions
data structure
hamming distance
suffix tree