On the Power of Randomized Reductions and the Checkability of SAT

2010 IEEE 25th Annual Conference on Computational Complexity ◽

10.1109/ccc.2010.16 ◽

2010 ◽

Author(s):

Mohammad Mahmoody ◽

David Xiao

Download Full-text