La constrainte d'équivalence dans QCSP(QBF)

Le problème de validitée d\u27une QBF dont la matrice propositionnelle est quelconque peut être vu comme un QCSP. Dans ce cadre, nous introduisons une nouvelle contrainte : la contrainte d\u27équivalence et prouvons qu\u27elle est plus puissante que la contrainte d\u27égalité. Pour illustrer sa pertinence, nous nous penchons sur QCSP(QBF) qui est un QCSP instancié au problème de validité des QBF avec formule propositionnelle quelconque. Nous rapportons un ensemble de résultats expérimentaux obtenus dans le cadre d\u27un environnement générique pour le developpement de systèmes de contraintes