Login / Signup

Local Soundness for QBF Calculi.

Martin SudaBernhard Gleiss
Published in: SAT (2018)
Keyphrases
  • quantified boolean formulas
  • quantified boolean formulae
  • sequent calculi
  • decision procedures
  • knowledge base
  • propositional logic
  • qualitative spatial and temporal reasoning