Abstract Solvers for Quantified Boolean Formulas and their Applications.

Rémi Brochenin Marco Maratea

Published in: AI*IA (2015)

Keyphrases

quantified boolean formulas
reasoning tasks
universally quantified

decision procedures
propositional satisfiability
data exchange

high level
bayesian networks
upper bound

logic programming
industrial applications