Nikhil Vyas 0001 Ryan Williams 0001 On Oracles and Algorithmic Methods for Proving Lower Bounds. TR24-113 2024 TR24 Electron. Colloquium Comput. Complex. https://eccc.weizmann.ac.il/report/2024/113 db/journals/eccc/eccc2024.html#0001024