Skip to Main content Skip to Navigation
Conference papers

Un solveur de contraintes basé sur les domaines abstraits

Marie Pelleau 1 Antoine Miné 2, 3 Charlotte Truchet 1 Frédéric Benhamou 4 
1 TASC - Theory, Algorithms and Systems for Constraints
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
3 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique - ENS Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
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.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-00925430
Contributor : Antoine Miné Connect in order to contact the contributor
Submitted on : Wednesday, January 8, 2014 - 9:56:20 AM
Last modification on : Wednesday, April 27, 2022 - 3:47:23 AM
Long-term archiving on: : Tuesday, April 8, 2014 - 10:25:55 PM

File

article-pelleau-jfpc2013.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00925430, version 1

Citation

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⟩

Share

Metrics

Record views

190

Files downloads

127