Tree-depth and the Formula Complexity of Subgraph Isomorphism

PROCEEDINGS ARTICLE published November 2020 in 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS)

Authors: Deepanshu Kush | Benjamin Rossman