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

Cached

Download Links

by Pavel Pudlák
Citations:135 - 5 self