On the complexity of hardness amplification | IEEE Conference Publication | IEEE Xplore