Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz

Jesús A. De Loera, Jon Lee, Peter N. Malkin, Susan Margulies. Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz. Journal of Symbolic Computation, 46(11):1260-1283, 2011. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: