Login / Signup

From QBFs to MALL and Back via Focussing.

Anupam Das
Published in: J. Autom. Reason. (2020)
Keyphrases
  • quantified boolean formulas
  • shopping mall
  • quantified boolean formulae
  • propositional logic
  • symmetry breaking
  • machine translation
  • reasoning tasks
  • decision procedures
  • conjunctive normal form
  • java programming