Building Strategies into QBF Proofs.

Olaf Beyersdorff Joshua Blinkhorn Meena Mahajan

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

Keyphrases

information retrieval
theorem prover
quantified boolean formulas
real time
multi agent
expert systems
orders of magnitude
propositional logic
decision procedures