Dealing with Symmetries in Quantified Boolean Formulas.

Gilles Audemard Bertrand Mazure Lakhdar Sais

Published in: SAT (2004)

Keyphrases

quantified boolean formulas
decision procedures
reasoning tasks
propositional satisfiability
universally quantified
description logics
computational complexity
expert systems
orders of magnitude
global constraints