CertiStr: a certified string solver.

Shuanglong Kan Anthony Widjaja Lin Philipp Rümmer Micha Schrader

Published in: CPP (2022)

Keyphrases

pattern matching
data structure
edit distance
real world
regular expressions
string matching
machine learning
context free grammars
databases
computer vision
learning environment
np complete
hamming distance
approximate string matching