Un solveur de contraintes basé sur les domaines abstraits - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Un solveur de contraintes basé sur les domaines abstraits

Résumé

Dans cet article, nous utilisons des techniques de l'interpréation abstraite (une théorie d'approximation des sémantiques) dans le cadre de la programmation par contraintes (basée sur la logique du premier ordre qui permet de résoudre des problèmes combinatoires). Nous mettons en évidence certains liens et différences entre ces domaines de recherches : tous deux calculent itérativement des points fixes mais emploient des extrapolations et stratégies de raffinement différentes. De plus, nous pouvons mettre en correspondance les consistances en programmation par contraintes et les domaines abstraits non relationnels. Nous utilisons ensuite ces correspondances pour construire un solveur de contraintes abstrait qui s'appuie sur des techniques d'interprétation abstraite (comme les domaines relationnels) pour aller au-delà des solveurs classiques. Les résultats expérimentaux obtenus avec notre prototype sont encourageants.
Fichier principal
Vignette du fichier
article-pelleau-jfpc2013.pdf (224.51 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00925430 , version 1 (08-01-2014)

Identifiants

  • HAL Id : hal-00925430 , version 1

Citer

Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou. Un solveur de contraintes basé sur les domaines abstraits. 9èmes Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.259-268. ⟨hal-00925430⟩
195 Consultations
138 Téléchargements

Partager

Gmail Facebook X LinkedIn More