## Polynomial-size Frege and Resolution Proofs of st-Connectivity and Hex Tautologies (2003)

### Cached

### Download Links

by
Samuel R. Buss

Venue: | Theorectical Computer Science |

Citations: | 10 - 0 self |