Login / Signup

The Boolean Hierarchy and the Polynomial Hierarchy: a Closer Connection.

Richard ChangJim Kadin
Published in: Computational Complexity Conference (1990)
Keyphrases
  • polynomial hierarchy
  • disjunctive logic programming
  • answer sets
  • dnf formulas
  • boolean functions
  • dl lite
  • lower bound
  • special case
  • randomly chosen