Dependency Schemes in QBF Calculi: Semantics and Soundness.

Joshua Blinkhorn Olaf Beyersdorff

Published in: QBF@SAT (2016)

Keyphrases

formal semantics
semantic information
logic programming
quantified boolean formulas
model checking
propositional logic
model theoretic
vague concepts
quantified boolean formulae