Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

    
TitleHilbert s Nullstellensatz and an Algorithm for Proving Combinatorial Infeasibility
Author(s) Lambert Dennis, Jon Lee, S. Margulies, Malkin P. N.
TypeArticle in Conference Proceedings
Keywordsnullstellensatz
ISBN978-1-59593-904-3
URL http://doi.acm.org/10.1145/1390768.1390797
LanguageEnglish
SeriesISSAC
Pages197--206
PublisherACM
AddressNew York, NY, USA
Year2008
Edition0
Translation No
Refereed No
Webmaster