Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP
- Publication date
- 1 January 2023
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)