## Separation Results for the Size of Constant-Depth Propositional Proofs (2004)

### Cached

### Download Links

- [euclid.ucsd.edu]
- [euclid.ucsd.edu]
- [math.ucsd.edu]
- DBLP

### Other Repositories/Bibliography

by
Arnold Beckmann
,
Samuel R. Buss

Citations: | 5 - 3 self |