Dependency Schemes in QBF Calculi: Semantics and Soundness.

Olaf Beyersdorff Joshua Blinkhorn

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

Keyphrases

formal semantics
quantified boolean formulas
logic programming
vague concepts
reasoning tasks
logic programs
constraint satisfaction
database systems
np hard
orders of magnitude
semantic information
practical problems
logical framework
quantified boolean formulae