Li, Bo, Benjamin Lowenstein, and Mohamed Omar. 2016. “Low Degree Nullstellensatz Certificates for 3-Colorability”. The Electronic Journal of Combinatorics 23 (1), P1.6. https://doi.org/10.37236/5103.