Login / Signup

Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness.

Hubie Chen
Published in: ACM Trans. Comput. Theory (2017)
Keyphrases
  • polynomial hierarchy
  • phase transition
  • disjunctive logic programming
  • computational complexity
  • answer sets
  • worst case
  • data management
  • theorem proving
  • dnf formulas