Andrew Drucker. Nondeterministic Direct Product Reductions and the Success Probability of SAT Solvers. In 54th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2013, 26-29 October, 2013, Berkeley, CA, USA. pages 736-745, IEEE Computer Society, 2013. [doi]
Abstract is missing.