Daniel Gibney, Gary Hoppenworth, Sharma V. Thankachan. Simple Reductions from Formula-SAT to Pattern Matching on Labeled Graphs and Subtree Isomorphism. In Hung Viet Le, Valerie King, editors, 4th Symposium on Simplicity in Algorithms, SOSA 2021, Virtual Conference, January 11-12, 2021. pages 232-242, SIAM, 2021. [doi]
Abstract is missing.