Login / Signup

A Second Step toward the Polynomial Hierarchy

Theodore P. BakerAlan L. Selman
Published in: FOCS (1976)
Keyphrases
  • polynomial hierarchy
  • disjunctive logic programming
  • phase transition