An Oracle with no UP-Complete Sets, but NP = PSPACE.

David Dingel Fabian Egidy Christian Glaßer

Published in: MFCS (2024)

Keyphrases

pspace complete
np complete
oracle database
set theoretic
search algorithm
computational complexity
data model
np hard
database administrators
satisfiability problem
temporal logic
model checking
data warehouse
database
special case
search engine
genetic algorithm
data mining
data sets