TY  - RPRT
TI  - Simple Reductions from Formula-SAT to Pattern Matching on Labeled Graphs and Subtree Isomorphism
AU  - Daniel Gibney
AU  - Gary Hoppenworth
AU  - Sharma V. Thankachan
PY  - 2020
UR  - https://arxiv.org/abs/2008.11786
ID  - 2008.11786
ER  -