Quantified Boolean Formulas: Call the Plumber!

Josef Lindsberger Alexander Maringele Georg Moser

Published in: LPAR (2017)

Keyphrases

quantified boolean formulas
decision procedures
reasoning tasks
propositional satisfiability
universally quantified
artificial intelligence
machine learning
xml documents
modal logic
theorem proving