String-matching with OBDDs.

Christian Choffrut Yael Haddad

Published in: Theor. Comput. Sci. (2004)

Keyphrases

string matching
pattern matching
boolean functions
approximate string matching
ordered binary decision diagrams

edit distance
suffix tree
exact and approximate
approximate matching

model checking
aho corasick
regular expressions
approximate pattern matching

pattern matching algorithm
clone detection
graph matching
pattern recognition