Hardness amplification within NP | IEEE Conference Publication | IEEE Xplore