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 Université d'Angers <>
Soumis le : mercredi 9 juin 2021 - 16:08:41
Dernière modification le : jeudi 10 juin 2021 - 03:39:57

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

8