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
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes Atlantique
3 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique de l'École normale supérieure, 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é <>
Submitted on : Wednesday, January 8, 2014 - 9:56:20 AM
Last modification on : Thursday, July 1, 2021 - 5:58:03 PM
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

Collections

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

422

Files downloads

414