Dynamic Virtual Arc Consistency - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2013

Dynamic Virtual Arc Consistency

Résumé

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.
Fichier principal
Vignette du fichier
sac13.pdf (182.22 Ko) Télécharger le fichier
Origine Accord explicite pour ce dépôt
Loading...

Dates et versions

lirmm-00830307 , version 1 (04-06-2013)

Identifiants

  • HAL Id : lirmm-00830307 , version 1
  • PRODINRA : 315789

Citer

Christian Bessiere, Thomas Schiex, Thi Hông Hiêp Nguyên. Dynamic Virtual Arc Consistency. SAC: Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. pp.098-103. ⟨lirmm-00830307⟩
177 Consultations
341 Téléchargements

Partager

More