1 paper
Bo Li, Benjamin Lowenstein, Mohamed Omar
In a seminal paper, De Loera et. al introduce the algorithm NulLA (Nullstellensatz Linear Algebra) and use it to measure the difficulty of determining if a graph is not 3-colorable…