Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility.

Jess A. De Loera, Jon Lee, Peter N. Malkin, Susan Margulies

Browse the full ISSAC paper archive.