Login / Signup

Simple Reductions from Formula-SAT to Pattern Matching on Labeled Graphs and Subtree Isomorphism.

Daniel GibneyGary HoppenworthSharma V. Thankachan
Published in: SOSA (2021)
Keyphrases
  • pattern matching
  • regular expressions
  • labeled graphs
  • string matching
  • pattern matching algorithm
  • relational databases
  • edit distance
  • subgraph isomorphism
  • approximate pattern matching