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