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