Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Cohérence d'arc virtuelle dynamique

Résumé : La coherence d'arc virtuelle (VAC) est une coherence recente pour les reseaux de fonctions de cout (ou reseaux de contraintes ponderees). VAC exploite une relation simple mais puissante avec les reseaux de contraintes classiques. VAC a permis de clore des problemes d'affectation de frequences diciles, et est capable de resoudre directement les reseaux de fonctions de cout sous-modulaires. L'algorithme pour etablir VAC est un algorithme iteratif qui resout une sequence de reseaux de contraintes classiques. Dans cet article, nous montrons que les techniques utilisees dans les algorithmes de coherence d'arc dynamique peuvent etre injectees dans l'algorithme iteratif de coherence d'arc virtuelle. Cette integration donne une acceleration importante.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inrae.fr/hal-02749182
Déposant : Migration Prodinra <>
Soumis le : mercredi 3 juin 2020 - 14:52:00
Dernière modification le : vendredi 12 juin 2020 - 11:32:20

Fichier

Coherence d'arc virtuelle dyna...
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-02749182, version 1
  • PRODINRA : 263528

Collections

Citation

Thi Hông Hiêp Nguyên, Christian Bessière, Thomas Schiex. Cohérence d'arc virtuelle dynamique. JFPC 2013 - Neuvièmes Journées Francophones de Programmation par Contraintes, Association Française pour la Programmation par Contraintes (AFPC). FRA., Jun 2013, Aix-en -Provence, France. ⟨hal-02749182⟩

Partager

Métriques

Consultations de la notice

7

Téléchargements de fichiers

8