Knuth-Morris-Pratt String Search.

Lawrence C. Paulson

Published in: Arch. Formal Proofs (2023)

Keyphrases

search algorithm
search strategy
solution space
genetic algorithm
optimal solution
data structure
user queries
search queries
string matching
information systems
multimedia
search space
search strategies
information seeking