collaborators

1 paper

cs.CC2023

Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP

Fabian Egidy, Christian Glaßer, Martin Herold

We study the existence of optimal and p-optimal proof systems for classes in the Boolean hierarchy over . Our main results concern , i.e., the second leve…