Proof Complexity of Resolution-based QBF Calculi.

Olaf Beyersdorff Leroy Chew Mikolas Janota

Published in: Electron. Colloquium Comput. Complex. (2014)

Keyphrases

automatic theorem proving
sequent calculi
worst case
quantified boolean formulas
genetic algorithm
theorem prover
theorem proving
space complexity