Negation for Free!

Résumé : Les contraintes globales représentent en grande partie la puissance de la PPC. Ces dernières années, on retrouve de nouvelles représentations des contraintes globales par des automates à état fini (DFA) ou encore des MDD (Multivalued Decision Diagram) avec du filtrage générique. Dans cet article, à partir d'une représentation DFA, nous présentons une approche pour la négation des contraintes globales. En prenant une contrainte globale C, l'idée est de définir des opérateurs qui calculent un automate qui ne reconnait que les solutions de $\neg C$. Pour le filtrage, nous utilisons la contrainte générique REGULAR qui prend l'automate de la version niée de la contrainte. Nous avons expérimenté cette approche sur deux exemples (i.e., global_contiguity et Lex), les résultats sont comparés à ceux d'une négation naïve d'un niveau syntaxique.
Type de document :
Rapport
[Research Report] RR-7749, INRIA. 2011, pp.16
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00629657
Contributeur : Nadjib Lazaar <>
Soumis le : vendredi 7 octobre 2011 - 11:03:21
Dernière modification le : mercredi 16 mai 2018 - 11:23:28
Document(s) archivé(s) le : mardi 13 novembre 2012 - 15:26:06

Fichiers

RR-7749.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00629657, version 1

Citation

Nadjib Lazaar, Nourredine Aribi, Arnaud Gotlieb, Yahia Lebbah. Negation for Free!. [Research Report] RR-7749, INRIA. 2011, pp.16. 〈inria-00629657〉

Partager

Métriques

Consultations de la notice

568

Téléchargements de fichiers

418