Login / Signup
Simple Reductions from Formula-SAT to Pattern Matching on Labeled Graphs and Subtree Isomorphism.
Daniel Gibney
Gary Hoppenworth
Sharma V. Thankachan
Published in:
CoRR (2020)
Keyphrases
</>
pattern matching
regular expressions
labeled graphs
string matching
pattern matching algorithm
approximate pattern matching
database systems
similarity measure
tree structure