Login / Signup

Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility.

Jesús A. De LoeraJon LeePeter N. MalkinSusan Margulies
Published in: ISSAC (2008)
Keyphrases