Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibilityJesús A. De LoeraJon Leeet al.2008ISSAC 2008