Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz | IEEE Conference Publication | IEEE Xplore