Joshua Buresh-Oppenheim Rahul Santhanam Making Hard Problems Harder. 73-87 2006 conf/coco/2006 IEEE Conference on Computational Complexity http://doi.ieeecomputersociety.org/10.1109/CCC.2006.26 db/conf/coco/coco2006.html#Buresh-OppenheimS06