Alphabet-Dependent String Searching with Wexponential Search Trees.

Johannes Fischer Pawel Gawrychowski

Published in: CPM (2015)

Keyphrases

search tree
pattern matching
string matching
search algorithm
search space
finite alphabet
branching factor
branch and bound algorithm
b tree
binary search trees
tree search
sat solvers
symmetry breaking
data structure
search strategies
root node
edit distance
database
state space
relational databases