## Lower Bounds for Resolution and Cutting Plane Proofs and Monotone Computations (1997)

### Cached

### Download Links

- [pascal.seg.kobe-u.ac.jp]
- [www.math.cas.cz]
- DBLP

### Other Repositories/Bibliography

by
Pavel Pudlák

Citations: | 135 - 5 self |