Dashed strings for string constraint solving.
Roberto AmadiniGraeme GangePeter J. StuckeyPublished in: Artif. Intell. (2020)
Keyphrases
- constraint solving
- edit distance
- string matching
- finite alphabet
- approximate string matching
- suffix array
- constraint propagation
- constraint logic programming
- string similarity
- closest string
- hamming distance
- levenshtein distance
- pattern matching
- binary strings
- constraint satisfaction problems
- constraint solver
- string edit distance
- edit operations
- long strings
- engineering drawings
- constraint satisfaction
- longest common subsequence
- graph matching
- constraint programming
- similarity measure
- suffix tree
- regular expressions
- dynamic programming
- alphabet size
- distance measure
- constraint solvers
- normalized edit distance
- data structure
- variable length
- tree search
- search space
- video sequences