TY  - RPRT
TI  - H-coloring Dichotomy in Proof Complexity
AU  - Azza Gaysin
PY  - 2020
UR  - https://arxiv.org/abs/2004.13149
ID  - 2004.13149
ER  -