Proof Complexity of Symbolic QBF Reasoning.
Stefan MengelFriedrich SlivovskyPublished in: CoRR (2021)
Keyphrases
- symbolic reasoning
- polynomial hierarchy
- space complexity
- computational complexity
- proof theory
- knowledge base
- mathematical proofs
- logical rules
- neural network
- logical framework
- theorem proving
- decision problems
- worst case
- spatial reasoning
- reasoning systems
- reasoning problems
- symbolic representation
- quantified boolean formulas
- proof theoretic