Nondeterministic Direct Product Reductions and the Success Probability of SAT Solvers.

Andrew Drucker

Browse the full FOCS paper archive.