La constrainte d'équivalence dans QCSP(QBF)

Date du colloque : 06/2011National audienceLe problème de validitée d'une QBF dont la matrice propositionnelle est quelconque peut être vu comme un QCSP. Dans ce cadre, nous introduisons une nouvelle contrainte : la contrainte d'équivalence et prouvons qu'elle est plus puissante que la contrainte d'é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'un environnement générique pour le developpement de systèmes de contraintes.