Skip to Main content Skip to Navigation
Conference papers

Cohérence d'arc virtuelle dynamique

Abstract : Virtual Arc Consistency (VAC) is a recent local consistency for processing Cost Function Networks (or Weighted Constraint Networks) that exploits a simple but powerful connection with classical Constraint Networks. It has allowed to close hard frequency assignment benchmarks and is capable 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 iterative algorithm, providing noticeable speedups.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Migration ProdInra Connect in order to contact the contributor
Submitted on : Wednesday, June 3, 2020 - 2:52:00 PM
Last modification on : Tuesday, August 2, 2022 - 3:49:00 AM
Long-term archiving on: : Friday, December 4, 2020 - 5:14:59 PM


Coherence d'arc virtuelle dyna...
Publisher files allowed on an open archive


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



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⟩



Record views


Files downloads