TY - RPRT TI - Tree-depth and the Formula Complexity of Subgraph Isomorphism AU - Deepanshu Kush AU - Benjamin Rossman PY - 2020 UR - https://arxiv.org/abs/2004.13302 ID - 2004.13302 ER -