Looking Algebraically at Tractable Quantified Boolean Formulas.

Hubie Chen Víctor Dalmau

Published in: SAT (2004)

Keyphrases

quantified boolean formulas
decision procedures
reasoning tasks
universally quantified
np complete
np hard
computational complexity
automated reasoning
description logics
theorem proving
logic programming
propositional satisfiability