Nondeterministic Direct Product Reductions and the Success Probability of SAT Solvers | IEEE Conference Publication | IEEE Xplore