Mohammad Mahmoody, David Xiao. On the Power of Randomized Reductions and the Checkability of SAT. In Proceedings of the 25th Annual IEEE Conference on Computational Complexity, CCC2010, Cambridge, Massachusetts, June 9-12, 2010. pages 64-75, IEEE Computer Society, 2010. [doi]
Abstract is missing.