Ryan Williams — How to prove lower bounds
Conjecture NP ⊄ P/poly
Superpolynomial Boolean-circuit lower bounds for 3-SAT
Open
complete
References are added by contributors. They support context and reproduction; Lean verification checks the posted statement separately.
Avi Wigderson — Mathematics and Computation
Chapter 5: nonuniform computation and circuit lower bounds
Add a source
Sign in to contribute.