MiniZinc with Strings.

Roberto Amadini Pierre Flener Justin Pearson Joseph D. Scott Peter J. Stuckey Guido Tack

Published in: LOPSTR (2016)

Keyphrases

string matching
edit distance
shortest common supersequence
real time
image processing
similarity measure
finite automata
finite state automata