Short Proofs in QBF Expansion.

Olaf Beyersdorff Leroy Chew Judith Clymo Meena Mahajan

Published in: SAT (2019)

Keyphrases

quantified boolean formulas
theorem proving
decision procedures
databases
machine learning
artificial intelligence
special case