Robuta

https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2023.67 Downward Self-Reducibility in TFNP self reducibilitydownwardtfnp