×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [resolution proof size]
Home >
resolution proof size
Time-Space Tradeoffs in Resolution: Superpolynomial Lower Bounds for Superlinear Space Chris Beck Princeton University Joint work with Paul Beame & Russell.
215 views