Li, B.; Lowenstein, B.; Omar, M. Low Degree Nullstellensatz Certificates for 3-Colorability. Electron. J. Combin. 2016, 23, P1.6.