Characterising tree-like Frege proofs for QBF.

Olaf Beyersdorff Luke Hinde

Published in: Inf. Comput. (2019)

Keyphrases

tree structure
quantified boolean formulas
tree structures
tree construction
index structure
r tree
theorem prover
theorem proving
formal proofs
quantified boolean formulae