Hilbert’s Nullstellensatz and an algorithm for proving combinatorial infeasibility (2008)

by J A De Loera, J Lee, P N Malkin, S Margulies
Venue:in: Proceedings of ISSAC 2008, ACM