Number of the records: 1
Lower bounds on Hilbert's nullstellensatz and propositional proofs
- 1.0174806 - MU-W 990013 RIV US eng C - Conference Paper (international conference)
Krajíček, Jan - Pudlák, Pavel - Beame, P. - Impagliazzo, R. - Pitassi, T.
Lower bounds on Hilbert's nullstellensatz and propositional proofs.
Annual Symposium on Foundation of Computer Science. Santa Fe: IEEE Computer Scientific Press, 1994, s. 794-806.
[Annual Symposium on Foundation of Computer Science. Santa Fe (US), 20.11.1994-22.11.1994]
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0071805
File Download Size Commentary Version Access Krajicek.pdf 1 1.1 MB Publisher’s postprint require
Number of the records: 1