×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [proof complexity]
Time-Space Tradeoffs in Resolution: Superpolynomial Lower Bounds for Superlinear Space Chris Beck Princeton University Joint work with Paul Beame & Russell
215 views
Simple Stochastic Games and Propositional Proof Systems Toniann Pitassi Joint work with Lei Huang University of Toronto
218 views
Models of Exact Algorithms for NP-Hard Problems Rahul Santhanam University of Edinburgh
216 views
Provably hard problems below the satisfiability threshold
47 views