Login / Signup

Dependency Schemes in QBF Calculi: Semantics and Soundness.

Olaf BeyersdorffJoshua Blinkhorn
Published in: CP (2016)
Keyphrases
  • vague concepts
  • formal semantics
  • logic programming
  • quantified boolean formulas
  • search algorithm
  • fuzzy logic
  • operational semantics