Dynamic Virtual Arc Consistency

Abstract : Virtual Arc Consistency (VAC) is a recent local consistency for processing Cost Function Networks (or Weighted Con- straint Networks) that exploits a simple but powerful con- nection with classical Constraint Networks. It has allowed to close hard frequency assignment benchmarks and is ca- pable of directly solving networks of submodular functions. The algorithm enforcing VAC is an iterative algorithm that solves a sequence of classical Constraint Networks. In this work, we show that Dynamic Arc Consistency algorithms can be suitably injected in the virtual arc consistency itera- tive algorithm, providing noticeable speedups.
Type de document :
Communication dans un congrès
SAC'2013: 28th Symposium On Applied Computing, Mar 2013, Coimbra, Portugal. pp.098-103, 2013
Liste complète des métadonnées

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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00830307
Contributeur : Joël Quinqueton <>
Soumis le : mardi 4 juin 2013 - 16:38:31
Dernière modification le : jeudi 11 janvier 2018 - 06:26:23
Document(s) archivé(s) le : jeudi 5 septembre 2013 - 04:24:12

Fichier

sac13.pdf
Accord explicite pour ce dépôt

Identifiants

  • HAL Id : lirmm-00830307, version 1

Collections

Citation

Christian Bessière, Thomas Schiex, Hiep Nguyen. Dynamic Virtual Arc Consistency. SAC'2013: 28th Symposium On Applied Computing, Mar 2013, Coimbra, Portugal. pp.098-103, 2013. 〈lirmm-00830307〉

Partager

Métriques

Consultations de la notice

138

Téléchargements de fichiers

246