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