Building Strategies into QBF Proofs.

Olaf Beyersdorff Joshua Blinkhorn Meena Mahajan

Published in: STACS (2019)

Keyphrases

theorem prover
database
case study
temporal reasoning
online auctions
theorem proving
boolean formula
quantified boolean formulas
formal proofs