Lower Bound on Hilbert s Nullstellensatz and propositional proofs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Paul Beame' in GoogleThis author has not been identified. Look up 'Russell Impagliazzo' in GoogleThis author has not been identified. Look up 'Jan Krajícek' in GoogleThis author has not been identified. Look up 'Toniann Pitassi' in GoogleThis author has not been identified. Look up 'Pavel Pudlák' in Google

runs on WebDSL