TY - RPRT TI - Graph Colouring is Hard for Algorithms Based on Hilbert's Nullstellensatz and Gröbner Bases AU - Massimo Lauria AU - Jakob Nordström PY - 2023 UR - https://arxiv.org/abs/2306.00125 ID - 2306.00125 ER -