Jonas Conneryd

Jonas Conneryd

PhD student in proof complexity at Lund University and University of Copenhagen.

Graph Colouring is Hard on Average for Polynomial Calculus and Nullstellensatz

Published in Accepted to FOCS 2023, 2023