Building Strategies into QBF Proofs.

Olaf Beyersdorff Joshua Blinkhorn Meena Mahajan

Published in: J. Autom. Reason. (2021)

Keyphrases

theorem proving
machine learning
information systems
model checking
search strategies
quantified boolean formulas
database
search strategy
propositional logic
quantified boolean formulae