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

Fabian Egidy Christian Glaßer Martin Herold

Published in: MFCS (2023)

Keyphrases

optimal design
optimal solution
intelligent systems
data mining
knowledge base
expert systems
dynamic programming
management system
worst case
distributed systems
building blocks