A note on arithmetic constraint propagation - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2012

A note on arithmetic constraint propagation

Résumé

We consider the resolution by constraint programming of large problems, i.e. involving millions of constraints, which mainly imply arithmetic constraints, like shortest path problems or other related problems. We show that a simple constraint programming model is not competitive with dedicated algorithms (or dedicated constraints). This mainly comes from the propagation mechanism, i.e. the ordering along which the constraints are revised. Thus, we propose a modification of this propagation mechanism integrating the main ideas of the dedicated algorithms. We give some experiments for the shortest path problem and more general problems which confirms the robustness of our approach. Last, we give some results showing that only a few variables are considered more than once during a propagation step.
Fichier principal
Vignette du fichier
jfpc12-en.pdf (488.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00690317 , version 1 (26-04-2012)

Identifiants

  • HAL Id : hal-00690317 , version 1

Citer

Arnaud Malapert, Jean-Charles Régin. A note on arithmetic constraint propagation. 2012. ⟨hal-00690317⟩
123 Consultations
65 Téléchargements

Partager

Gmail Facebook X LinkedIn More