Andrej Bogdanov Muli Safra Hardness Amplification for Errorless Heuristics. 418-426 2007 FOCS http://doi.ieeecomputersociety.org/10.1109/FOCS.2007.30 conf/focs/2007 db/conf/focs/focs2007.html#BogdanovS07