Search results
- 1.0174214 - MU-W 950106 RIV GB eng J - Journal Article
Krajíček, Jan - Beame, P. - Impagliazzo, R. - Pitassi, T. - Pudlák, Pavel
Lower bounds on Hilbert's Nullstellensatz and propositional proofs.
Proceedings of the London Mathematical Society. Roč. 73, č. 3 (1996), s. 1-26. ISSN 0024-6115. E-ISSN 1460-244X
Impact factor: 0.755, year: 1996
Permanent Link: http://hdl.handle.net/11104/0071228File Download Size Commentary Version Access Pudlak.pdf 1 1.9 MB Publisher’s postprint require