Login / Signup
What's Up with Downward Collapse: Using the Easy-Hard Technique to Link Boolean and Polynomial Hierarchy Collapses
Edith Hemaspaandra
Lane A. Hemaspaandra
Harald Hempel
Published in:
CoRR (1999)
Keyphrases
</>
polynomial hierarchy
dnf formulas
disjunctive logic programming
boolean functions
answer sets
databases
computational complexity
uniform distribution
knowledge base
theoretical analysis
expressive power
dl lite