research
∙
04/28/2023
Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP
We study the existence of optimal and p-optimal proof systems for classe...
research
∙
03/21/2022