ISSAC 2008 (July 20-23)
Click image to enlarge
ISSAC 2008. Jesus De Loera, Jon Lee, Peter Malkin and Susan Margulies. Hilbert's Nullstellensatz and an Algorithm for Proving Combinatorial Infeasibility (23.07.2008 15:25:56)