A Downward Collapse within the Polynomial Hierarchy.

Edith Hemaspaandra Lane A. Hemaspaandra Harald Hempel

Published in: SIAM J. Comput. (1998)

Keyphrases

polynomial hierarchy
disjunctive logic programming
answer sets
dnf formulas
lower bound
phase transition
data model