Symétries et QBF.

Saïd Jabbour Lakhdar Sais

Published in: Rev. d'Intelligence Artif. (2012)

Keyphrases

quantified boolean formulas
quantified boolean formulae
propositional logic
symmetry breaking
prime implicates
universally quantified
databases
artificial intelligence
reasoning tasks
decision procedures