Sign in
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