Ryan O'Donnell Hardness Amplification within NP. 23 2002 conf/coco/2002 IEEE Conference on Computational Complexity http://doi.ieeecomputersociety.org/10.1109/CCC.2002.1004332 db/conf/coco/coco2002.html#ODonnell02