@misc{indiciaeba636587ed87, title = {Graphs with large girth and chromatic number are hard for Nullstellensatz}, author = {Julian Romero and Levent Tunçel}, year = {2022}, url = {https://arxiv.org/abs/2212.05365}, note = {Source identifier: 2212.05365} }