Total Functions in the Polynomial Hierarchy.

Robert Kleinberg Daniel Mitropolsky Christos H. Papadimitriou

Published in: Electron. Colloquium Comput. Complex. (2020)

Keyphrases

polynomial hierarchy
disjunctive logic programming
database systems
lower bound
special case
integrity constraints
dnf formulas