Short Proofs in QBF Expansion.

Olaf Beyersdorff Leroy Chew Judith Clymo Meena Mahajan

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

Keyphrases

quantified boolean formulas
decision procedures
neural network
quantified boolean formulae
data mining
website
computational complexity
search strategies
theorem proving
formal proofs
mathematical proofs