Login / Signup
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