Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility
- Jesús A. De Loera
- Jon Lee
- et al.
- 2008
- ISSAC 2008
Publications
Date
Featured collections
Popular topics
3 results for Susan Margulies
Efficient high-precision matrix algebra on parallel architectures for nonlinear combinatorial optimization
- John Gunnels
- Jon Lee
- et al.
- 2010
- Mathematical Programming Computation
Expressing combinatorial problems by systems of polynomial equations and Hilbert's Nullstellensatz
- J.A. Loera
- J. Lee
- et al.
- 2009
- Combinatorics Probability and Computing