Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz. - Jonas Conneryd; Susanna F. de Rezende; Jakob Nordström; Shuo Pang 002; Kilian Risse (Electron. Colloquium Comput. Complex., 2025)