Skip to Main content Skip to Navigation
Conference papers

A Constraint Solver based on Abstract Domains

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
2 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
3 Abstraction
LIENS - Laboratoire d'informatique de l'école normale supérieure
Abstract : In this article, we apply techniques from Abstract Interpretation (a general theory of semantic abstractions) to Constraint Programming (which aims at solving hard combinatorial problems with a generic framework based on first-order logics). We highlight some links and differences between these fields: both compute fixpoints by iteration but employ different extrapolation and refinement strategies; moreover, consistencies in Constraint Programming can be mapped to non-relational abstract domains. We then use these correspondences to build an abstract constraint solver that leverages abstract interpretation techniques (such as relational domains) to go beyond classic solvers. We present encouraging experimental results obtained with our prototype implementation.
Document type :
Conference papers
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00785604
Contributor : Marie Pelleau Connect in order to contact the contributor
Submitted on : Wednesday, February 6, 2013 - 3:00:04 PM
Last modification on : Wednesday, April 27, 2022 - 3:43:39 AM
Long-term archiving on: : Saturday, April 1, 2017 - 5:02:19 PM

File

Pelleau_Mine_Truchet_Benhamou....
Files produced by the author(s)

Identifiers

Collections

Citation

Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou. A Constraint Solver based on Abstract Domains. VMCAI 2013 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rome, Italy. pp.434--454, ⟨10.1007/978-3-642-35873-9_26⟩. ⟨hal-00785604⟩

Share

Metrics

Record views

671

Files downloads

832