Tseitin s Tautologies and Lower Bounds for Nullstellensatz Proofs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Dima Grigoriev. Tseitin s Tautologies and Lower Bounds for Nullstellensatz Proofs. In FOCS. pages 648-652, 1998. [doi]

@inproceedings{Grigoriev98,
  title = {Tseitin s Tautologies and Lower Bounds for Nullstellensatz Proofs},
  author = {Dima Grigoriev},
  year = {1998},
  url = {http://computer.org/conferen/proceed/focs/9172/91720648abs.htm},
  researchr = {https://researchr.org/publication/Grigoriev98},
  cites = {0},
  citedby = {0},
  pages = {648-652},
  booktitle = {FOCS},
}

runs on WebDSL