Login / Signup

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

Richard ChangJim Kadin
Published in: SIAM J. Comput. (1996)
Keyphrases
  • polynomial hierarchy
  • disjunctive logic programming
  • dnf formulas
  • boolean functions
  • answer sets
  • dl lite
  • databases
  • database
  • upper bound
  • description logics
  • uniform distribution