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

Fabian Egidy Christian Glaßer Martin Herold

Published in: CoRR (2023)

Keyphrases

data mining
dynamic programming
artificial intelligence
finding optimal
databases
machine learning
case study
np hard
building blocks
learning systems