"Shuichi Hirahara,Nobutaka Shimizu","Hardness Self-Amplification: Simplified, Optimized, and Unified",,"Proceedings of the 55th Annual ACM Symposium on Theory of Computing",,,,,2023,June