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

Hubie Chen

Browse the full ICALP paper archive.