Parikshit Gopalan Venkatesan Guruswami Hardness amplification within NP against deterministic algorithms. 107-121 2011 77 J. Comput. Syst. Sci. 1 http://dx.doi.org/10.1016/j.jcss.2010.06.008 db/journals/jcss/jcss77.html#GopalanG11