Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

La constrainte d'équivalence dans QCSP(QBF)

Résumé :

Le 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.

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03255580
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mercredi 9 juin 2021 - 16:08:41
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09

Identifiants

  • HAL Id : hal-03255580, version 1
  • OKINA : ua4513

Collections

Citation

Vincent Barichard, Igor Stéphan. La constrainte d'équivalence dans QCSP(QBF). 7ème Journées Francophones de Programmation par Contraintes, 2011, Lyon, France. pp.25 - 34. ⟨hal-03255580⟩

Partager

Métriques

Consultations de la notice

7