CertiStr: A Certified String Solver (technical report).
Shuanglong KanAnthony W. LinPhilipp RümmerMicha SchraderPublished in: CoRR (2021)
Keyphrases
- technical report
- string matching
- edit distance
- regular expressions
- data structure
- technical support
- suffix tree
- hamming distance
- real world
- string similarity
- context free grammars
- search algorithm
- pattern matching
- distance measure
- suffix array
- multi agent
- constraint solver
- binary strings
- e learning
- quantified boolean formulas
- real time
- means ends analysis