A Survey on Applications of Quantified Boolean Formulas.

Ankit Shukla Armin Biere Luca Pulina Martina Seidl

Published in: ICTAI (2019)

Keyphrases

quantified boolean formulas
decision procedures
reasoning tasks
universally quantified
automated reasoning
propositional satisfiability
boolean formula