Proof Complexity of Symbolic QBF Reasoning.

Stefan Mengel Friedrich Slivovsky

Published in: SAT (2021)

Keyphrases

symbolic reasoning
mathematical proofs
high level
computational complexity
proof theory
automated theorem proving
computer algebra systems
knowledge base
reasoning systems
reasoning process
reasoning tasks
default reasoning
space complexity
theorem proving
decision problems
worst case
knowledge representation