Paul Beame, Russell Impagliazzo, Jan Krajícek, Toniann Pitassi, Pavel Pudlák. Lower Bound on Hilbert s Nullstellensatz and propositional proofs. In 35th Annual Symposium on Foundations of Computer Science, 20-22 November 1994, Santa Fe, New Mexico, USA. pages 794-806, IEEE, 1994.
@inproceedings{BeameIKPP94,
title = {Lower Bound on Hilbert s Nullstellensatz and propositional proofs},
author = {Paul Beame and Russell Impagliazzo and Jan Krajícek and Toniann Pitassi and Pavel Pudlák},
year = {1994},
researchr = {https://researchr.org/publication/BeameIKPP94},
cites = {0},
citedby = {0},
pages = {794-806},
booktitle = {35th Annual Symposium on Foundations of Computer Science, 20-22 November 1994, Santa Fe, New Mexico, USA},
publisher = {IEEE},
}