Quantifier Reordering for QBF.

Friedrich Slivovsky Stefan Szeider

Published in: J. Autom. Reason. (2016)

Keyphrases

quantified boolean formulas
fuzzy measures
quantifier elimination
quantified boolean formulae
propositional logic
reasoning tasks
conjunctive normal form
database
data structure
rough sets
description logics
orders of magnitude