Login / Signup
Proof Complexity Modulo the Polynomial Hierarchy: Understanding Alternation as a Source of Hardness.
Hubie Chen
Published in:
CoRR (2014)
Keyphrases
</>
polynomial hierarchy
phase transition
answer sets
disjunctive logic programming
computational complexity
dnf formulas
orders of magnitude
dl lite
worst case
np complete
learning theory
theorem proving
learning algorithm
theorem prover
answer set programming
uniform distribution