Shortening QBF Proofs with Dependency Schemes.

Joshua Blinkhorn Olaf Beyersdorff

Published in: SAT (2017)

Keyphrases

quantified boolean formulas
theorem prover
theorem proving
machine learning
decision procedures
database
case study
orders of magnitude
information content