TY - RPRT TI - Graphs with large girth and chromatic number are hard for Nullstellensatz AU - Julian Romero AU - Levent Tunçel PY - 2022 UR - https://arxiv.org/abs/2212.05365 ID - 2212.05365 ER -