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]

No reviews for this publication, yet.