TY  - RPRT
TI  - Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
AU  - Jonas Conneryd
AU  - Susanna F. de Rezende
AU  - Jakob Nordström
AU  - Shuo Pang
AU  - Kilian Risse
PY  - 2025
UR  - https://arxiv.org/abs/2503.17022
ID  - 2503.17022
ER  -