title: Simple Reductions from Formula-SAT to Pattern Matching on Labeled Graphs and Subtree Isomorphism
authors: Daniel Gibney Gary Hoppenworth Sharma V. Thankachan
text:  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  positioning
  automata,arrows
  calc
  shapes
  decorations
  arrows,positioning, quotes, arrows.meta
  patterns,decorations.pathreplacing,calligraphy
   
  
   
  abbrv
  
  8.5in
  11in
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  
  lemLemma 
  