Number of the records: 1
An Exponential Lower Bound to the Size of Bounded Depth Frege Proofs of the Pigeonhole principle
- 1.0174167 - MU-W 950108 RIV US eng J - Journal Article
Krajíček, Jan - Pudlák, Pavel - Woods, A.
An Exponential Lower Bound to the Size of Bounded Depth Frege Proofs of the Pigeonhole principle.
Random Structures and Algorithms. Roč. 7, č. 1 (1995), s. 15-39. ISSN 1042-9832. E-ISSN 1098-2418
R&D Projects: GA AV ČR IAA119107
Impact factor: 0.492, year: 1995
Permanent Link: http://hdl.handle.net/11104/0071182
File Download Size Commentary Version Access Pudlak1.pdf 1 2.3 MB Author’s postprint open-access
Number of the records: 1