Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibilityJesús A. De LoeraJon Leeet al.2008ISSAC 2008
Expressing combinatorial problems by systems of polynomial equations and Hilbert's NullstellensatzJ.A. LoeraJ. Leeet al.2009Combinatorics Probability and Computing