RISC JKU

ISSAC 2008 (July 20-23, 2008)

<    top    >
 
CRW_3907.JPG
Copyright: Christoph Koutschan 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)