Structural Complexity Columns in Sparse complete sets for NP and the optimal collpase of the polynomial hierarchy.

Juris Hartmanis

Published in: Bull. EATCS (1987)

Keyphrases

polynomial hierarchy
disjunctive logic programming
answer sets
worst case
computational complexity
dnf formulas
optimal solution
databases
special case
model selection