TY  - RPRT
TI  - Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism
AU  - Christoph Berkholz
AU  - Moritz Lichter
AU  - Harry Vinall-Smeeth
PY  - 2025
UR  - https://arxiv.org/abs/2407.17947
ID  - 2407.17947
ER  -