A self-adaptive multi-engine solver for quantified Boolean formulas.

Luca Pulina Armando Tacchella

Published in: Constraints An Int. J. (2009)

Keyphrases

quantified boolean formulas
reasoning tasks
decision procedures
universally quantified
propositional satisfiability
belief revision
description logics