Login / Signup

The Polynomial Hierarchy and Fragments of Bounded Arithmetic (Extended Abstract)

Samuel R. Buss
Published in: STOC (1985)
Keyphrases
  • extended abstract
  • polynomial hierarchy
  • disjunctive logic programming
  • answer sets
  • dnf formulas
  • databases
  • phase transition
  • active learning
  • answer set programming