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