Approximate Dictionary Searching at a Scale using Ternary Search Trees and Implicit Levenshtein Automata.

Peter Schneider-Kamp

Published in: ICSOFT (2022)

Keyphrases

search tree
search algorithm
search space
branch and bound algorithm
tree search
b tree
sat solvers
branching factor
search strategies
edit distance
binary search trees
game tree
root node
genetic algorithm
sat solving